MCC'2024- Execution of r629-smll-171774446300051

About the Execution of LoLA for ResIsolation-PT-N09P2

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16206.432	565911.00	1257420.00	1452.80	?F?FT??????????F	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r629-smll-171774446300051.qcow2',
Waiting for the VM to be ready (probing ssh)
.............................................................
=======================================
Generated by BenchKit 2-5568
Executing tool lola
Input is ResIsolation-PT-N09P2, examination is LTLCardina
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r629-smll-171774446300051
=============================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 5.8K Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 11K Jun 7 06:39 ReachabilityCardinal
-rw-r--r-- 1 mcc users 114K Jun 7 06:39 ReachabilityCardinal
-rw-r--r-- 1 mcc users 7.6K Jun 7 06:39 ReachabilityFireabil
-rw-r--r-- 1 mcc users 60K Jun 7 06:39 ReachabilityFireabil
-rw-r--r-- 1 mcc users 1.7K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 7 06:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 equiv_col
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 instance
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 iscolored
-rw-r--r-- 1 mcc users 21M Jun 7 06:26 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 ResIsolation-PT-N09P2-LTLCardinality-00
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-01
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-02
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-03
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-04
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-05
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-06
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-07
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-08
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-09
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-10
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-11
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-12
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-13
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-14
FORMULA_NAME ResIsolation-PT-N09P2-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1717783671999

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 ResIsolation-PT-N09P2-LTLCardinality-03
FORMULA ResIsolation-PT-N09P2-LTLCardinality-01
FORMULA ResIsolation-PT-N09P2-LTLCardinality-15
FORMULA ResIsolation-PT-N09P2-LTLCardinality-04

BK_STOP 1717784237910

--------------------
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[34mm
[[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[34mmo
[[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] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 300 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 305 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 310 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Rule S: 0 transitions removed,0
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 315 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 320 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 325 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-03: INITIAL
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 330 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 14 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 14 (type CNST)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 335 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 340 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 345 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 350 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 355 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 360 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 365 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 370 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 375 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 380 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 385 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 390 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 395 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 400 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 405 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 410 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 415 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 420 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 425 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 430 secs. Pages
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 6 (type EXCL) for
[[35mlola[0m][I] time limit : 158 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 69 (type EQUN) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 68 (type EQUN) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 6 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 12
[[35mlola[0m][I] fired transitions : 12
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 63 (type EXCL) for
[[35mlola[0m][I] time limit : 198 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 63 (type EXCL)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 12
[[35mlola[0m][I] fired transitions : 12
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 68 (type EQUN)
[[35mlola[0m][I] LAUNCH task # 61 (type EXCL) for
[[35mlola[0m][I] time limit : 226 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 61 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 69 (type EQUN)
[[35mlola[0m][I] LAUNCH task # 20 (type EXCL) for
[[35mlola[0m][I] time limit : 243 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 20 LTL EXCL 3/243
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 435 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 20 LTL EXCL 8/243
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 440 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 69 (type EQUN)
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 68 (type EQUN)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 20 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 23
[[35mlola[0m][I] fired transitions : 52
[[35mlola[0m][I] time used : 11
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 29 (type EXCL) for
[[35mlola[0m][I] time limit : 263 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 2/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 445 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 7/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 450 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 12/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 455 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 17/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 460 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 22/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 465 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 27/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 470 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 32/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 475 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 37/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 480 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 42/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 485 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 47/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 490 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 52/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 495 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 57/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 500 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 62/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 505 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 67/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 510 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 72/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 515 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 77/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 520 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 82/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 525 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 87/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 530 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[*** LOG ERROR #0001 ***] [2024-06-07 18:16:47] [status_logger]
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 92/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 535 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 97/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 540 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 102/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 545 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 107/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 550 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 112/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 555 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-01:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-03:
[[35mlola[0m][.] [1m[32mResIsolation-PT-N09P2-LTLCardinality-04:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-05:
[[35mlola[0m][.] [1m[31mResIsolation-PT-N09P2-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-00:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-02:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-06:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-07:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-08:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-09:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-10:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-11:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-12:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-13:
[[35mlola[0m][.] ResIsolation-PT-N09P2-LTLCardinality-14:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 29 LTL EXCL 117/263
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 560 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 57: 408 Killed
fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ============================== lity ======== ity.txt ity.xml ity.txt ity.xml template) text file) FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT most ([1m[36m--timelimit[0m) using default[0m odel.pnml[0m ) del.pnml[0m [0m) [4m[34mLTLCardinality.xml[0m CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 places removed CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 13 ResIsolation-PT-N09P2-LTLCardinality-03 for ResIsolation-PT-N09P2-LTLCardinality-03 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 CATEGORY VALUE PRODUCED BY[0m INITIAL false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m in use: 0 3 ResIsolation-PT-N09P2-LTLCardinality-01 16 ResIsolation-PT-N09P2-LTLCardinality-04 53 ResIsolation-PT-N09P2-LTLCardinality-15 ResIsolation-PT-N09P2-LTLCardinality-01 53 ResIsolation-PT-N09P2-LTLCardinality-15 for ResIsolation-PT-N09P2-LTLCardinality-15 for ResIsolation-PT-N09P2-LTLCardinality-15 (obsolete) 16 ResIsolation-PT-N09P2-LTLCardinality-04 for ResIsolation-PT-N09P2-LTLCardinality-04 for ResIsolation-PT-N09P2-LTLCardinality-04 (obsolete) 19 ResIsolation-PT-N09P2-LTLCardinality-05 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-05 13 m, 2 m/sec, 14 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-05 17 m, 0 m/sec, 39 t fired, . in use: 1 for ResIsolation-PT-N09P2-LTLCardinality-04 for ResIsolation-PT-N09P2-LTLCardinality-15 for ResIsolation-PT-N09P2-LTLCardinality-05 28 ResIsolation-PT-N09P2-LTLCardinality-08 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 13 m, 2 m/sec, 14 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 16 m, 0 m/sec, 22 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 22 m, 1 m/sec, 33 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 27 m, 1 m/sec, 42 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 30 m, 0 m/sec, 50 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 34 m, 0 m/sec, 58 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 38 m, 0 m/sec, 67 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 44 m, 1 m/sec, 77 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 47 m, 0 m/sec, 85 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 51 m, 0 m/sec, 93 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 54 m, 0 m/sec, 100 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 61 m, 1 m/sec, 112 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 65 m, 0 m/sec, 120 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 68 m, 0 m/sec, 127 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 75 m, 1 m/sec, 139 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 79 m, 0 m/sec, 148 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 83 m, 0 m/sec, 157 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 86 m, 0 m/sec, 164 t fired, . in use: 1 string pointer is null CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 93 m, 1 m/sec, 177 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 98 m, 1 m/sec, 187 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 106 m, 1 m/sec, 201 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 110 m, 0 m/sec, 211 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 116 m, 1 m/sec, 223 t fired, . in use: 1 CATEGORY VALUE PRODUCED BY[0m CONJ false LTL model checker[0m INITIAL false preprocessing[0m F true state space / EG[0m LTL false LTL model checker[0m CONJ false state space / EG[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 1/2000 ResIsolation-PT-N09P2-LTLCardinality-08 122 m, 1 m/sec, 235 t fired, . in use: 1 $BK_TOOL --conf=$LOLA_CONF $LOLA_EXAM $LOLA_VERDICT $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ResIsolation-PT-N09P2"
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 ResIsolation-PT-N09P2, 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 r629-smll-171774446300051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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