MCC'2023- Execution of r102-tall-167814477400811

About the Execution of LoLA for DLCshifumi-PT-3a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
9879.243	227763.00	227383.00	759.10	TFFFFTFT?FF?FFTF	normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.3K
-rw-r--r-- 1 mcc users 112K
-rw-r--r-- 1 mcc users 6.5K
-rw-r--r-- 1 mcc users 64K
-rw-r--r-- 1 mcc users 4.2K
-rw-r--r-- 1 mcc users 6.4K
-rw-r--r-- 1 mcc users 3.7K
-rw-r--r-- 1 mcc users 27K
-rw-r--r-- 1 mcc users 2.3K
-rw-r--r-- 1 mcc users 20K
-rw-r--r-- 1 mcc users 9.9K
-rw-r--r-- 1 mcc users 102K
-rw-r--r-- 1 mcc users 12K
-rw-r--r-- 1 mcc users 103K
-rw-r--r-- 1 mcc users 1.6K
-rw-r--r-- 1 mcc users 3.6K
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 3 Mar
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 778K Mar

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

=== Data for post analysis

The expected result is a vector
BOOL_VECTOR

here is the order used to
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa
FORMULA_NAME DLCshifumi-PT-3a-LTLCa

=== Now, execution of the

BK_START 1678332745093

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

FORMULA DLCshifumi-PT-3a-LTLCardinality-06

FORMULA DLCshifumi-PT-3a-LTLCardinality-10

FORMULA DLCshifumi-PT-3a-LTLCardinality-14

FORMULA DLCshifumi-PT-3a-LTLCardinality-15

FORMULA DLCshifumi-PT-3a-LTLCardinality-13

FORMULA DLCshifumi-PT-3a-LTLCardinality-12

FORMULA DLCshifumi-PT-3a-LTLCardinality-07

FORMULA DLCshifumi-PT-3a-LTLCardinality-05

FORMULA DLCshifumi-PT-3a-LTLCardinality-03

FORMULA DLCshifumi-PT-3a-LTLCardinality-02

FORMULA DLCshifumi-PT-3a-LTLCardinality-01

FORMULA DLCshifumi-PT-3a-LTLCardinality-09

FORMULA DLCshifumi-PT-3a-LTLCardinality-04

FORMULA DLCshifumi-PT-3a-LTLCardinality-00

BK_STOP 1678332972856

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet
lola: reading net from /home/mcc/
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file /home/mcc/e
lola: Reading formula.
lola: Using XML format (--xmlform
lola: reading XML formula
lola: reading formula from
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: RELEASE
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: Rule S: 0 transitions
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: RELEASE
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 52 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 53 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: FINISHED task # 52
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: FINISHED task # 53
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 19 (type
lola: time limit : 171 sec
lola: memory limit: 32 pages
lola: NOTDEADLOCKFREE
lola: FINISHED task # 19
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: Created skeleton in
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 54 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 31 (type
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: NOTDEADLOCKFREE
lola: LAUNCH task # 55 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: FINISHED task # 31
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 43 (type
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: FINISHED task # 43
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 48 (type
lola: time limit : 257 sec
lola: memory limit: 32 pages
lola: FINISHED task # 48
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 55
lola: LAUNCH task # 40 (type
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: FINISHED task # 40
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 34 (type
lola: time limit : 327 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 4/327
54 LTL SRCH 4/3599

Time elapsed: 5 secs.
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 54
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 9/327

Time elapsed: 10 secs.
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 14/327

Time elapsed: 15 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 19/327

Time elapsed: 20 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 24/327

Time elapsed: 25 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 29/327

Time elapsed: 30 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 34/327

Time elapsed: 35 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 39/327

Time elapsed: 40 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 44/327

Time elapsed: 45 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 49/327

Time elapsed: 50 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 54/327

Time elapsed: 55 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 59/327

Time elapsed: 60 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
34 LTL EXCL 64/327

Time elapsed: 65 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 34
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 70 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 37 (type
lola: time limit : 353 sec
lola: memory limit: 32 pages
lola: FINISHED task # 37
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 25 (type
lola: time limit : 392 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 4/392

Time elapsed: 75 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 10/392

Time elapsed: 81 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 15/392

Time elapsed: 86 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

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

Time elapsed: 91 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 25/392

Time elapsed: 96 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 30/392

Time elapsed: 101 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 35/392

Time elapsed: 106 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 40/392

Time elapsed: 111 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 45/392

Time elapsed: 116 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 50/392

Time elapsed: 121 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 55/392

Time elapsed: 126 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 60/392

Time elapsed: 131 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 65/392

Time elapsed: 136 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 70/392

Time elapsed: 141 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 75/392

Time elapsed: 146 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 80/392

Time elapsed: 151 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 85/392

Time elapsed: 156 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 90/392

Time elapsed: 161 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 95/392

Time elapsed: 166 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 100/392

Time elapsed: 171 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 105/392

Time elapsed: 176 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 110/392

Time elapsed: 181 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 115/392

Time elapsed: 186 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 120/392

Time elapsed: 191 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 125/392

Time elapsed: 196 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 130/392

Time elapsed: 201 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 135/392

Time elapsed: 206 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 140/392

Time elapsed: 211 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 145/392

Time elapsed: 216 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT
25 LTL EXCL 150/392

Time elapsed: 221 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 25
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-11:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 226 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 22 (type
lola: time limit : 421 sec
lola: memory limit: 32 pages
lola: FINISHED task # 22
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 16 (type
lola: time limit : 482 sec
lola: memory limit: 32 pages
lola: FINISHED task # 16
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10 (type
lola: time limit : 562 sec
lola: memory limit: 32 pages
lola: FINISHED task # 10
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 7 (type
lola: time limit : 674 sec
lola: memory limit: 32 pages
lola: FINISHED task # 7
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 4 (type
lola: time limit : 843 sec
lola: memory limit: 32 pages
lola: FINISHED task # 4
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 28 (type
lola: time limit : 1124 sec
lola: memory limit: 32 pages
lola: FINISHED task # 28
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 13 (type
lola: time limit : 1687 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1 (type
lola: time limit : 3374 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished:

FINAL RESULTS
FINISHED FORMULA: CATEGORY
DLCshifumi-PT-3a-LTLCardinality-00:
DLCshifumi-PT-3a-LTLCardinality-01:
DLCshifumi-PT-3a-LTLCardinality-02:
DLCshifumi-PT-3a-LTLCardinality-03:
DLCshifumi-PT-3a-LTLCardinality-04:
DLCshifumi-PT-3a-LTLCardinality-05:
DLCshifumi-PT-3a-LTLCardinality-06:
DLCshifumi-PT-3a-LTLCardinality-07:
DLCshifumi-PT-3a-LTLCardinality-08:
DLCshifumi-PT-3a-LTLCardinality-09:
DLCshifumi-PT-3a-LTLCardinality-10:
DLCshifumi-PT-3a-LTLCardinality-11:
DLCshifumi-PT-3a-LTLCardinality-12:
DLCshifumi-PT-3a-LTLCardinality-13:
DLCshifumi-PT-3a-LTLCardinality-14: LTL/CTL
DLCshifumi-PT-3a-LTLCardinality-15:

Time elapsed: 227 secs.
102-tall-167814477400811.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 (probing ssh) .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ======================================================== examination is LTLCardinality seconds 16384 MBytes 814477400811 ================================== to be used: Feb 26 09:25 CTLCardinality.txt Feb 26 09:25 CTLCardinality.xml Feb 26 08:42 CTLFireability.txt Feb 26 08:42 CTLFireability.xml Jan 29 11:40 GenericPropertiesDefinition.xml Jan 29 11:40 GenericPropertiesVerdict.xml Feb 25 15:54 LTLCardinality.txt Feb 25 15:54 LTLCardinality.xml Feb 25 15:54 LTLFireability.txt Feb 25 15:54 LTLFireability.xml Feb 26 10:37 ReachabilityCardinality.txt Feb 26 10:37 ReachabilityCardinality.xml Feb 26 10:00 ReachabilityFireability.txt Feb 26 10:00 ReachabilityFireability.xml Feb 25 15:54 UpperBounds.txt Feb 25 15:54 UpperBounds.xml 5 18:22 equiv_col 5 18:22 instance 5 18:22 iscolored 5 18:22 model.pnml generated by BenchKit (invocation template) of booleans build the result vector(from text file) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N in//../lola/bin/ ion FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 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 ) execution/model.pnml place/transition net xecution/model.pnml ula) /home/mcc/execution/LTLCardinality.xml mula_rewrite.k:355 mula_rewrite.k:346 mula_rewrite.k:352 mula_rewrite.k:376 mula_rewrite.k:430 mula_rewrite.k:370 mula_rewrite.k:521 mula_rewrite.k:352 mula_rewrite.k:352 mula_rewrite.k:349 mula_rewrite.k:352 mula_rewrite.k:352 mula_rewrite.k:352 mula_rewrite.k:349 mula_rewrite.k:421 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:409 mula_rewrite.k:352 mula_rewrite.k:355 mula_rewrite.k:379 mula_rewrite.k:433 mula_rewrite.k:376 mula_rewrite.k:352 mula_rewrite.k:352 mula_rewrite.k:337 mula_rewrite.k:334 mula_rewrite.k:334 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:328 mula_rewrite.k:314 mula_rewrite.k:296 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:355 mula_rewrite.k:352 mula_rewrite.k:376 mula_rewrite.k:328 mula_rewrite.k:317 mula_rewrite.k:296 mula_rewrite.k:328 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:355 mula_rewrite.k:433 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:352 mula_rewrite.k:430 mula_rewrite.k:346 mula_rewrite.k:317 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:331 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:331 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:331 mula_rewrite.k:328 mula_rewrite.k:314 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:328 mula_rewrite.k:331 mula_rewrite.k:299 mula_rewrite.k:317 mula_rewrite.k:331 mula_rewrite.k:299 mula_rewrite.k:328 mula_rewrite.k:331 mula_rewrite.k:299 mula_rewrite.k:376 mula_rewrite.k:376 mula_rewrite.k:376 mula_rewrite.k:334 mula_rewrite.k:334 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:524 mula_rewrite.k:355 mula_rewrite.k:490 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:421 mula_rewrite.k:314 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:331 mula_rewrite.k:299 mula_rewrite.k:98 mula_rewrite.k:159 mula_rewrite.k:122 mula_rewrite.k:355 mula_rewrite.k:314 mula_rewrite.k:296 mula_rewrite.k:334 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:535 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. removed,0 places removed 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. SKEL/SRCH) for 39 DLCshifumi-PT-3a-LTLCardinality-13 sec 0.000000 secs. SKEL/SRCH) for 42 DLCshifumi-PT-3a-LTLCardinality-14 sec (type SKEL/SRCH) for DLCshifumi-PT-3a-LTLCardinality-13 : false 5 5 0.000000 1 (type SKEL/SRCH) for DLCshifumi-PT-3a-LTLCardinality-14 2 1 0.000000 1 0.000000 secs. 0.000000 secs. 0.000000 secs. EXCL) for 18 DLCshifumi-PT-3a-LTLCardinality-06 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-06 : false 3 3 0.000000 1 0.000000 secs. 0.000000 secs. SKEL/SRCH) for 33 DLCshifumi-PT-3a-LTLCardinality-11 sec EXCL) for 30 DLCshifumi-PT-3a-LTLCardinality-10 SKEL/SRCH) for 45 DLCshifumi-PT-3a-LTLCardinality-15 sec (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-10 : false 2 2 0.000000 1 EXCL) for 42 DLCshifumi-PT-3a-LTLCardinality-14 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-14 2 1 0.000000 1 EXCL) for 45 DLCshifumi-PT-3a-LTLCardinality-15 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-15 : false 5 5 0.000000 1 (type SRCH) for DLCshifumi-PT-3a-LTLCardinality-15 (obsolete) EXCL) for 39 DLCshifumi-PT-3a-LTLCardinality-13 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-13 : false 5 5 0.000000 1 EXCL) for 33 DLCshifumi-PT-3a-LTLCardinality-11 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 2 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCshifumi-PT-3a-LTLCardinality-11 193969 m, 38793 m/sec, 2644672 t fired, . 4/5 DLCshifumi-PT-3a-LTLCardinality-11 604257 m, 120851 m/sec, 7097767 t fired, . Pages in use: 6 (type SRCH) for DLCshifumi-PT-3a-LTLCardinality-11 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCshifumi-PT-3a-LTLCardinality-11 471018 m, 55409 m/sec, 5688870 t fired, . Pages in use: 7 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCshifumi-PT-3a-LTLCardinality-11 869079 m, 79612 m/sec, 9031145 t fired, . Pages in use: 7 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCshifumi-PT-3a-LTLCardinality-11 1246388 m, 75461 m/sec, 12223623 t fired, . Pages in use: 9 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 DLCshifumi-PT-3a-LTLCardinality-11 1617598 m, 74242 m/sec, 15373496 t fired, . Pages in use: 12 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 DLCshifumi-PT-3a-LTLCardinality-11 1984966 m, 73473 m/sec, 18562125 t fired, . Pages in use: 14 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 DLCshifumi-PT-3a-LTLCardinality-11 2356310 m, 74268 m/sec, 21791129 t fired, . Pages in use: 17 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 DLCshifumi-PT-3a-LTLCardinality-11 2719847 m, 72707 m/sec, 24996938 t fired, . Pages in use: 19 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 DLCshifumi-PT-3a-LTLCardinality-11 3089735 m, 73977 m/sec, 28231707 t fired, . Pages in use: 22 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 DLCshifumi-PT-3a-LTLCardinality-11 3450890 m, 72231 m/sec, 31447116 t fired, . Pages in use: 24 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 DLCshifumi-PT-3a-LTLCardinality-11 3838938 m, 77609 m/sec, 34744723 t fired, . Pages in use: 27 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 DLCshifumi-PT-3a-LTLCardinality-11 4219291 m, 76070 m/sec, 38017466 t fired, . Pages in use: 29 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 0 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 DLCshifumi-PT-3a-LTLCardinality-11 4590537 m, 74249 m/sec, 41230885 t fired, . Pages in use: 32 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-11 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 36 DLCshifumi-PT-3a-LTLCardinality-12 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-12 : false 5 5 1.000000 1 EXCL) for 24 DLCshifumi-PT-3a-LTLCardinality-08 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCshifumi-PT-3a-LTLCardinality-08 140604 m, 28120 m/sec, 5220592 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCshifumi-PT-3a-LTLCardinality-08 280031 m, 27885 m/sec, 10408590 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCshifumi-PT-3a-LTLCardinality-08 417659 m, 27525 m/sec, 15558027 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCshifumi-PT-3a-LTLCardinality-08 554948 m, 27457 m/sec, 20697083 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCshifumi-PT-3a-LTLCardinality-08 694258 m, 27862 m/sec, 25853408 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCshifumi-PT-3a-LTLCardinality-08 833443 m, 27837 m/sec, 30999604 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCshifumi-PT-3a-LTLCardinality-08 972847 m, 27880 m/sec, 36144119 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCshifumi-PT-3a-LTLCardinality-08 1111178 m, 27666 m/sec, 41267980 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCshifumi-PT-3a-LTLCardinality-08 1249199 m, 27604 m/sec, 46387133 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCshifumi-PT-3a-LTLCardinality-08 1387131 m, 27586 m/sec, 51495620 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 DLCshifumi-PT-3a-LTLCardinality-08 1523206 m, 27215 m/sec, 56581545 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 DLCshifumi-PT-3a-LTLCardinality-08 1659266 m, 27212 m/sec, 61651479 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 DLCshifumi-PT-3a-LTLCardinality-08 1795749 m, 27296 m/sec, 66724919 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 DLCshifumi-PT-3a-LTLCardinality-08 1930607 m, 26971 m/sec, 71774057 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 DLCshifumi-PT-3a-LTLCardinality-08 2065862 m, 27051 m/sec, 76821195 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 DLCshifumi-PT-3a-LTLCardinality-08 2201043 m, 27036 m/sec, 81862833 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 DLCshifumi-PT-3a-LTLCardinality-08 2336926 m, 27176 m/sec, 86914679 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 DLCshifumi-PT-3a-LTLCardinality-08 2470798 m, 26774 m/sec, 91929281 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 DLCshifumi-PT-3a-LTLCardinality-08 2604240 m, 26688 m/sec, 96934777 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 DLCshifumi-PT-3a-LTLCardinality-08 2741727 m, 27497 m/sec, 102005850 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 DLCshifumi-PT-3a-LTLCardinality-08 2882276 m, 28109 m/sec, 107140966 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 DLCshifumi-PT-3a-LTLCardinality-08 3016037 m, 26752 m/sec, 112173208 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 DLCshifumi-PT-3a-LTLCardinality-08 3152076 m, 27207 m/sec, 117274829 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 DLCshifumi-PT-3a-LTLCardinality-08 3287409 m, 27066 m/sec, 122377562 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 DLCshifumi-PT-3a-LTLCardinality-08 3422277 m, 26973 m/sec, 127465414 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 DLCshifumi-PT-3a-LTLCardinality-08 3566098 m, 28764 m/sec, 132723313 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 DLCshifumi-PT-3a-LTLCardinality-08 3704552 m, 27690 m/sec, 137861096 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 DLCshifumi-PT-3a-LTLCardinality-08 3846194 m, 28328 m/sec, 143069997 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 DLCshifumi-PT-3a-LTLCardinality-08 3983420 m, 27445 m/sec, 148206802 t fired, . Pages in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 DLCshifumi-PT-3a-LTLCardinality-08 4120590 m, 27434 m/sec, 153317049 t fired, . Pages in use: 32 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-08 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 0 0 2 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 21 DLCshifumi-PT-3a-LTLCardinality-07 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-07 250 1143 0.000000 1 EXCL) for 15 DLCshifumi-PT-3a-LTLCardinality-05 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-05 7762 70675 0.000000 1 EXCL) for 9 DLCshifumi-PT-3a-LTLCardinality-03 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-03 : false 120 368 0.000000 1 EXCL) for 6 DLCshifumi-PT-3a-LTLCardinality-02 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-02 : false 9 10 0.000000 1 EXCL) for 3 DLCshifumi-PT-3a-LTLCardinality-01 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-01 : false 5 5 0.000000 1 EXCL) for 27 DLCshifumi-PT-3a-LTLCardinality-09 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-09 : false 19 136 0.000000 1 EXCL) for 12 DLCshifumi-PT-3a-LTLCardinality-04 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-04 : false 16606 535161 0.000000 1 EXCL) for 0 DLCshifumi-PT-3a-LTLCardinality-00 (type EXCL) for DLCshifumi-PT-3a-LTLCardinality-00 29761 1087361 1.000000 1 no open tasks 16 VALUE PRODUCED BY LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL true LTL model checker LTL unknown AGGR LTL false LTL model checker LTL false LTL model checker LTL unknown AGGR LTL false LTL model checker LTL false LTL model checker true LTL model checker CONJ false LTL model checker Pages in use: 32

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-3a"
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-5348"
echo " Executing tool lola"
echo " Input is DLCshifumi-PT-3a, 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 r102-tall-167814477400811"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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