MCC'2024- Execution of r577-smll-171734920600171

About the Execution of LoLA for MedleyA-PT-22

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4288.991	398965.00	410935.00	1137.80	FFTFTFTTTFFFFFFT	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.r577-smll-171734920600171.qcow2',
Waiting for the VM to be ready (probing ssh)
..............................................................
========================================
Generated by BenchKit 2-5568
Executing tool lola
Input is MedleyA-PT-22, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r577-smll-171734920600171
==============================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 7.5K Jun 2 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Jun 2 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Jun 2 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Jun 2 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Jun 2 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Jun 2 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Jun 2 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Jun 2 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 2 16:33 NewModel
-rw-r--r-- 1 mcc users 13K Jun 2 17:16 ReachabilityCardinali
-rw-r--r-- 1 mcc users 145K Jun 2 17:16 ReachabilityCardinali
-rw-r--r-- 1 mcc users 6.4K Jun 2 17:16 ReachabilityFireabili
-rw-r--r-- 1 mcc users 51K Jun 2 17:16 ReachabilityFireabili
-rw-r--r-- 1 mcc users 1.6K Jun 2 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 2 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 2 16:33 instance
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 iscolored
-rw-r--r-- 1 mcc users 238K Jun 2 16:33 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 MedleyA-PT-22-LTLCardinality-00
FORMULA_NAME MedleyA-PT-22-LTLCardinality-01
FORMULA_NAME MedleyA-PT-22-LTLCardinality-02
FORMULA_NAME MedleyA-PT-22-LTLCardinality-03
FORMULA_NAME MedleyA-PT-22-LTLCardinality-04
FORMULA_NAME MedleyA-PT-22-LTLCardinality-05
FORMULA_NAME MedleyA-PT-22-LTLCardinality-06
FORMULA_NAME MedleyA-PT-22-LTLCardinality-07
FORMULA_NAME MedleyA-PT-22-LTLCardinality-08
FORMULA_NAME MedleyA-PT-22-LTLCardinality-09
FORMULA_NAME MedleyA-PT-22-LTLCardinality-10
FORMULA_NAME MedleyA-PT-22-LTLCardinality-11
FORMULA_NAME MedleyA-PT-22-LTLCardinality-12
FORMULA_NAME MedleyA-PT-22-LTLCardinality-13
FORMULA_NAME MedleyA-PT-22-LTLCardinality-14
FORMULA_NAME MedleyA-PT-22-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1717416566912

starting LoLA
BK_EXAMINATION: LTLCardinality
BK_TIME_CONFINEMENT: 3600
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution
FORMULA MedleyA-PT-22-LTLCardinality-13 FALSE TECHNIQUES
FORMULA MedleyA-PT-22-LTLCardinality-11 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-00 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-14 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-07 TRUE
FORMULA MedleyA-PT-22-LTLCardinality-02 TRUE
FORMULA MedleyA-PT-22-LTLCardinality-05 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-15 TRUE
FORMULA MedleyA-PT-22-LTLCardinality-12 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-10 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-09 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-08 TRUE
FORMULA MedleyA-PT-22-LTLCardinality-06 TRUE
FORMULA MedleyA-PT-22-LTLCardinality-04 TRUE
FORMULA MedleyA-PT-22-LTLCardinality-03 FALSE
FORMULA MedleyA-PT-22-LTLCardinality-01 FALSE
[[35mlola[0m] [1mFINAL RESULTS[0m
[[35mlola[0m] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 398 secs. Pages in use: 190

BK_STOP 1717416965877

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

[[35mlola[0m][I] LoLA will run for 3600 seconds at
[[35mlola[0m][W] [1m[33munknown unit in memory specification:
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmo
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmod
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from
[[35mlola[0m][I] Rule S: 0 transitions removed,0
[[35mlola[0m][I] LAUNCH task # 42 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 48 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 48 (type CNST) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 42 (type CNST) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 59 (type EXCL) for
[[35mlola[0m][I] time limit : 196 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 59 (type EXCL) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for
[[35mlola[0m][W] CANCELED task # 58 (type EQUN) for
[[35mlola[0m][I] LAUNCH task # 51 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 51 (type CNST) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 30 (type EXCL) for
[[35mlola[0m][I] time limit : 252 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 30 (type EXCL) for
[[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 # 7 (type EXCL) for
[[35mlola[0m][I] time limit : 272 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 7 (type EXCL) for
[[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 # 22 (type EXCL) for
[[35mlola[0m][I] time limit : 294 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 61 (type FNDP) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 62 (type EQUN) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 57 (type FNDP) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 61 (type FNDP) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 13
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 22 (type EXCL) for
[[35mlola[0m][W] CANCELED task # 62 (type EQUN) for
[[35mlola[0m][I] LAUNCH task # 54 (type EXCL) for
[[35mlola[0m][I] time limit : 393 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 54 (type EXCL) for
[[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 # 45 (type EXCL) for
[[35mlola[0m][I] time limit : 442 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 45 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 55
[[35mlola[0m][I] fired transitions : 55
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 39 (type EXCL) for
[[35mlola[0m][I] time limit : 505 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 39 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 55
[[35mlola[0m][I] fired transitions : 55
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 36 (type EXCL) for
[[35mlola[0m][I] time limit : 589 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 36 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 55
[[35mlola[0m][I] fired transitions : 55
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 33 (type EXCL) for
[[35mlola[0m][I] time limit : 707 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 33 (type EXCL) for
[[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 # 27 (type EXCL) for
[[35mlola[0m][I] time limit : 884 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 27 (type EXCL) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 4
[[35mlola[0m][I] fired transitions : 3
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 13 (type EXCL) for
[[35mlola[0m][I] time limit : 1179 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 13 (type EXCL) for
[[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 # 10 (type EXCL) for
[[35mlola[0m][I] time limit : 1768 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 4/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 67 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 62 (type EQUN) for
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 9/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 72 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 14/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 77 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 19/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 82 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 24/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 87 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 29/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 92 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 34/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 97 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 39/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 102 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 44/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 107 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 49/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 112 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 54/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 117 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 59/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 122 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 64/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 127 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 69/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 132 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 74/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 137 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 79/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 142 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 84/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 147 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 89/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 152 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 94/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 157 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 99/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 162 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 104/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 167 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 109/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 172 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 114/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 177 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 119/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 182 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 124/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 187 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 129/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 192 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 134/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 197 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 139/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 202 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 144/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 207 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 149/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 212 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 154/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 217 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 159/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 222 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 164/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 227 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 169/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 232 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 174/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 237 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 179/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 242 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 184/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 247 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 189/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 252 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 194/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 257 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 199/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 262 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 204/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 267 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 209/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 272 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 214/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 277 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 219/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 282 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 224/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 287 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 229/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 292 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 234/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 297 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 239/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 302 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 244/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 307 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 249/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 312 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 254/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 317 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 259/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 322 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 264/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 327 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 269/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 332 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 274/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 337 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 279/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 342 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 284/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 347 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 289/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 352 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 294/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 357 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 299/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 362 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 304/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 367 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 309/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 372 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 314/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 377 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 319/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 382 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 324/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 387 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 329/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 392 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-00:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-02:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-04: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-05:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-07:
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-08:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-11: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-12: LTL/CTL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-13: INITIAL
[[35mlola[0m][.] [1m[31mMedleyA-PT-22-LTLCardinality-14: INITIAL
[[35mlola[0m][.] [1m[32mMedleyA-PT-22-LTLCardinality-15: LTL/CTL
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-01:
[[35mlola[0m][.] MedleyA-PT-22-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 10 LTL EXCL 334/1768
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 397 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 10 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 25950689
[[35mlola[0m][I] fired transitions : 160733106
[[35mlola[0m][I] time used : 335
[[35mlola[0m][I] memory pages used : 190
[[35mlola[0m][I] LAUNCH task # 4 (type EXCL) for
[[35mlola[0m][I] time limit : 3202 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 4 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 55
[[35mlola[0m][I] fired transitions : 55
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] Portfolio finished: no open formulas
fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ ============================= ======= ty.txt ty.xml ty.txt ty.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 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 VALUE PRODUCED BY[0m AG false state space[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[0m most ([1m[36m--timelimit[0m) using default[0m del.pnml[0m el.pnml[0m 0m) [4m[34mLTLCardinality.xml[0m places removed 41 MedleyA-PT-22-LTLCardinality-11 47 MedleyA-PT-22-LTLCardinality-13 MedleyA-PT-22-LTLCardinality-13 MedleyA-PT-22-LTLCardinality-11 0 MedleyA-PT-22-LTLCardinality-00 0 MedleyA-PT-22-LTLCardinality-00 0 MedleyA-PT-22-LTLCardinality-00 MedleyA-PT-22-LTLCardinality-00 MedleyA-PT-22-LTLCardinality-00 (obsolete) MedleyA-PT-22-LTLCardinality-00 (obsolete) 50 MedleyA-PT-22-LTLCardinality-14 MedleyA-PT-22-LTLCardinality-14 29 MedleyA-PT-22-LTLCardinality-07 MedleyA-PT-22-LTLCardinality-07 6 MedleyA-PT-22-LTLCardinality-02 MedleyA-PT-22-LTLCardinality-02 15 MedleyA-PT-22-LTLCardinality-05 15 MedleyA-PT-22-LTLCardinality-05 15 MedleyA-PT-22-LTLCardinality-05 MedleyA-PT-22-LTLCardinality-00 MedleyA-PT-22-LTLCardinality-05 MedleyA-PT-22-LTLCardinality-05 (obsolete) MedleyA-PT-22-LTLCardinality-05 (obsolete) 53 MedleyA-PT-22-LTLCardinality-15 MedleyA-PT-22-LTLCardinality-15 44 MedleyA-PT-22-LTLCardinality-12 MedleyA-PT-22-LTLCardinality-12 38 MedleyA-PT-22-LTLCardinality-10 MedleyA-PT-22-LTLCardinality-10 35 MedleyA-PT-22-LTLCardinality-09 MedleyA-PT-22-LTLCardinality-09 32 MedleyA-PT-22-LTLCardinality-08 MedleyA-PT-22-LTLCardinality-08 26 MedleyA-PT-22-LTLCardinality-06 MedleyA-PT-22-LTLCardinality-06 12 MedleyA-PT-22-LTLCardinality-04 MedleyA-PT-22-LTLCardinality-04 9 MedleyA-PT-22-LTLCardinality-03 MedleyA-PT-22-LTLCardinality-00 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 4/2000 MedleyA-PT-22-LTLCardinality-03 478263 m, 95652 m/sec, 2237144 t fired, . in use: 4 MedleyA-PT-22-LTLCardinality-05 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 8/2000 MedleyA-PT-22-LTLCardinality-03 968827 m, 98112 m/sec, 4774506 t fired, . in use: 8 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 11/2000 MedleyA-PT-22-LTLCardinality-03 1495221 m, 105278 m/sec, 7289079 t fired, . in use: 11 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 15/2000 MedleyA-PT-22-LTLCardinality-03 1989727 m, 98901 m/sec, 9940159 t fired, . in use: 15 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 19/2000 MedleyA-PT-22-LTLCardinality-03 2466619 m, 95378 m/sec, 12499417 t fired, . in use: 19 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 22/2000 MedleyA-PT-22-LTLCardinality-03 2930008 m, 92677 m/sec, 15005355 t fired, . in use: 22 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 25/2000 MedleyA-PT-22-LTLCardinality-03 3378603 m, 89719 m/sec, 17544424 t fired, . in use: 25 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 28/2000 MedleyA-PT-22-LTLCardinality-03 3797384 m, 83756 m/sec, 20040121 t fired, . in use: 28 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 32/2000 MedleyA-PT-22-LTLCardinality-03 4222183 m, 84959 m/sec, 22476997 t fired, . in use: 32 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 34/2000 MedleyA-PT-22-LTLCardinality-03 4598196 m, 75202 m/sec, 24811734 t fired, . in use: 34 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 37/2000 MedleyA-PT-22-LTLCardinality-03 4979418 m, 76244 m/sec, 27069281 t fired, . in use: 37 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 40/2000 MedleyA-PT-22-LTLCardinality-03 5351463 m, 74409 m/sec, 29452508 t fired, . in use: 40 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 43/2000 MedleyA-PT-22-LTLCardinality-03 5726311 m, 74969 m/sec, 31870033 t fired, . in use: 43 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 45/2000 MedleyA-PT-22-LTLCardinality-03 6110743 m, 76886 m/sec, 34268308 t fired, . in use: 45 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 MedleyA-PT-22-LTLCardinality-03 6482887 m, 74428 m/sec, 36605145 t fired, . in use: 48 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 51/2000 MedleyA-PT-22-LTLCardinality-03 6837531 m, 70928 m/sec, 38945797 t fired, . in use: 51 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 54/2000 MedleyA-PT-22-LTLCardinality-03 7220938 m, 76681 m/sec, 41277275 t fired, . in use: 54 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 56/2000 MedleyA-PT-22-LTLCardinality-03 7604933 m, 76799 m/sec, 43673538 t fired, . in use: 56 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 59/2000 MedleyA-PT-22-LTLCardinality-03 7998521 m, 78717 m/sec, 46074901 t fired, . in use: 59 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 62/2000 MedleyA-PT-22-LTLCardinality-03 8388344 m, 77964 m/sec, 48435909 t fired, . in use: 62 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 65/2000 MedleyA-PT-22-LTLCardinality-03 8777938 m, 77918 m/sec, 50820589 t fired, . in use: 65 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 68/2000 MedleyA-PT-22-LTLCardinality-03 9139779 m, 72368 m/sec, 53189280 t fired, . in use: 68 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 70/2000 MedleyA-PT-22-LTLCardinality-03 9467709 m, 65586 m/sec, 55551317 t fired, . in use: 70 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 MedleyA-PT-22-LTLCardinality-03 9820809 m, 70620 m/sec, 57952669 t fired, . in use: 73 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 75/2000 MedleyA-PT-22-LTLCardinality-03 10214958 m, 78829 m/sec, 60321312 t fired, . in use: 75 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 78/2000 MedleyA-PT-22-LTLCardinality-03 10594275 m, 75863 m/sec, 62604261 t fired, . in use: 78 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 81/2000 MedleyA-PT-22-LTLCardinality-03 10978092 m, 76763 m/sec, 64972780 t fired, . in use: 81 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 84/2000 MedleyA-PT-22-LTLCardinality-03 11360187 m, 76419 m/sec, 67364591 t fired, . in use: 84 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 87/2000 MedleyA-PT-22-LTLCardinality-03 11741960 m, 76354 m/sec, 69810210 t fired, . in use: 87 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 89/2000 MedleyA-PT-22-LTLCardinality-03 12115558 m, 74719 m/sec, 72041632 t fired, . in use: 89 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 92/2000 MedleyA-PT-22-LTLCardinality-03 12497521 m, 76392 m/sec, 74286344 t fired, . in use: 92 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 95/2000 MedleyA-PT-22-LTLCardinality-03 12838700 m, 68235 m/sec, 76489143 t fired, . in use: 95 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 97/2000 MedleyA-PT-22-LTLCardinality-03 13224962 m, 77252 m/sec, 78780143 t fired, . in use: 97 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 100/2000 MedleyA-PT-22-LTLCardinality-03 13579174 m, 70842 m/sec, 81029792 t fired, . in use: 100 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 103/2000 MedleyA-PT-22-LTLCardinality-03 13950009 m, 74167 m/sec, 83262105 t fired, . in use: 103 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 105/2000 MedleyA-PT-22-LTLCardinality-03 14297322 m, 69462 m/sec, 85545407 t fired, . in use: 105 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 108/2000 MedleyA-PT-22-LTLCardinality-03 14654945 m, 71524 m/sec, 87783646 t fired, . in use: 108 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 110/2000 MedleyA-PT-22-LTLCardinality-03 15009731 m, 70957 m/sec, 90144958 t fired, . in use: 110 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 MedleyA-PT-22-LTLCardinality-03 15349902 m, 68034 m/sec, 92575839 t fired, . in use: 113 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 115/2000 MedleyA-PT-22-LTLCardinality-03 15688855 m, 67790 m/sec, 94818405 t fired, . in use: 115 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 118/2000 MedleyA-PT-22-LTLCardinality-03 16019748 m, 66178 m/sec, 97089469 t fired, . in use: 118 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 120/2000 MedleyA-PT-22-LTLCardinality-03 16337796 m, 63609 m/sec, 99299975 t fired, . in use: 120 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 123/2000 MedleyA-PT-22-LTLCardinality-03 16681233 m, 68687 m/sec, 101602784 t fired, . in use: 123 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 MedleyA-PT-22-LTLCardinality-03 17095978 m, 82949 m/sec, 104057428 t fired, . in use: 126 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 129/2000 MedleyA-PT-22-LTLCardinality-03 17511578 m, 83120 m/sec, 106521853 t fired, . in use: 129 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 131/2000 MedleyA-PT-22-LTLCardinality-03 17891358 m, 75956 m/sec, 108978007 t fired, . in use: 131 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 134/2000 MedleyA-PT-22-LTLCardinality-03 18250902 m, 71908 m/sec, 111389201 t fired, . in use: 134 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 137/2000 MedleyA-PT-22-LTLCardinality-03 18587071 m, 67233 m/sec, 113617195 t fired, . in use: 137 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 139/2000 MedleyA-PT-22-LTLCardinality-03 18953449 m, 73275 m/sec, 116124211 t fired, . in use: 139 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 142/2000 MedleyA-PT-22-LTLCardinality-03 19289150 m, 67140 m/sec, 118483402 t fired, . in use: 142 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 145/2000 MedleyA-PT-22-LTLCardinality-03 19683721 m, 78914 m/sec, 120871597 t fired, . in use: 145 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 148/2000 MedleyA-PT-22-LTLCardinality-03 20111148 m, 85485 m/sec, 123380502 t fired, . in use: 148 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 150/2000 MedleyA-PT-22-LTLCardinality-03 20497639 m, 77298 m/sec, 125887987 t fired, . in use: 150 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 153/2000 MedleyA-PT-22-LTLCardinality-03 20875397 m, 75551 m/sec, 128281248 t fired, . in use: 153 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 156/2000 MedleyA-PT-22-LTLCardinality-03 21246629 m, 74246 m/sec, 130649509 t fired, . in use: 156 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 159/2000 MedleyA-PT-22-LTLCardinality-03 21618283 m, 74330 m/sec, 133062016 t fired, . in use: 159 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 161/2000 MedleyA-PT-22-LTLCardinality-03 21960227 m, 68388 m/sec, 135513716 t fired, . in use: 161 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 163/2000 MedleyA-PT-22-LTLCardinality-03 22283912 m, 64737 m/sec, 137862711 t fired, . in use: 163 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 166/2000 MedleyA-PT-22-LTLCardinality-03 22662001 m, 75617 m/sec, 140322031 t fired, . in use: 166 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 169/2000 MedleyA-PT-22-LTLCardinality-03 23048388 m, 77277 m/sec, 142747013 t fired, . in use: 169 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 171/2000 MedleyA-PT-22-LTLCardinality-03 23396545 m, 69631 m/sec, 145109480 t fired, . in use: 171 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 174/2000 MedleyA-PT-22-LTLCardinality-03 23737316 m, 68154 m/sec, 147464747 t fired, . in use: 174 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 176/2000 MedleyA-PT-22-LTLCardinality-03 24044206 m, 61378 m/sec, 149783174 t fired, . in use: 176 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 MedleyA-PT-22-LTLCardinality-03 24390492 m, 69257 m/sec, 152209054 t fired, . in use: 179 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 181/2000 MedleyA-PT-22-LTLCardinality-03 24792292 m, 80360 m/sec, 154687341 t fired, . in use: 181 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 186/2000 MedleyA-PT-22-LTLCardinality-03 25373582 m, 116258 m/sec, 157457175 t fired, . in use: 186 VALUE PRODUCED BY[0m AG false state space[0m LTL true LTL model checker[0m true LTL model checker[0m CONJ false findpath[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m false preprocessing[0m false LTL model checker[0m false preprocessing[0m false preprocessing[0m true LTL model checker[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 189/2000 MedleyA-PT-22-LTLCardinality-03 25855032 m, 96290 m/sec, 160114443 t fired, . in use: 189 MedleyA-PT-22-LTLCardinality-03 3 MedleyA-PT-22-LTLCardinality-01 MedleyA-PT-22-LTLCardinality-01

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="MedleyA-PT-22"
export BK_EXAMINATION="LTLCardinality"
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 MedleyA-PT-22, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r577-smll-171734920600171"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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