MCC'2021- Execution of r289-tall-162124151800029

About the Execution of LoLA for CANConstruction-PT-030

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3047.104	232620.00	400184.00	142.40	TFFFF?TF?FFTFFFF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc202
Waiting for the VM
..........................
====
Generated by BenchKit 2-4028
Executing tool lola
Input is CANConstruction-PT-030,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
==========================

--------------------
preparation of the
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc

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

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi

=== Now, execution

BK_START 1621245343099

starting LoLA
BK_INPUT CANConstruction-PT-030
BK_EXAMINATION: LTLFireability
bin directory: /home/mcc/B
current directory:
LTLFireability

FORMULA CANConstruction-PT-030-04

FORMULA CANConstruction-PT-030-11

FORMULA CANConstruction-PT-030-14

FORMULA CANConstruction-PT-030-13

FORMULA CANConstruction-PT-030-12

FORMULA CANConstruction-PT-030-09

FORMULA CANConstruction-PT-030-07

FORMULA CANConstruction-PT-030-06

FORMULA CANConstruction-PT-030-02

FORMULA CANConstruction-PT-030-00

FORMULA CANConstruction-PT-030-10

FORMULA CANConstruction-PT-030-03

FORMULA CANConstruction-PT-030-01

FORMULA CANConstruction-PT-030-15

BK_STOP 1621245575719

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML
lola: reading net
lola: reading pnml
lola: PNML file
lola: finished parsing
lola: closed net
lola: Reading formula.
lola: Using XML
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: RELEASE
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: RELEASE
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: LAUNCH task
lola: time limit
lola: Created
lola: memory limit: 5 pages
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: LAUNCH task
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/P
lola: rewrite Frontend/P
sara: try reading
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
56 LTL SRCH 5/3596
58 EF FNDP 1/3596
59 EF STEQ 1/1798
60 EF EXCL 1/199

Time elapsed: 5 secs.
# running tasks:
lola: FINISHED
lola: result
lola: time used
lola: memory pages used :
lola: CANCELED
lola: CANCELED
lola: LAUNCH task
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: FINISHED
lola: result
lola: markings :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: tried executions :
lola: time used
lola: memory pages used :
lola: rewrite Frontend/P
lola: rewrite Frontend/P
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 4/256
56 LTL SRCH 10/3600

Time elapsed: 10 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 9/256
56 LTL SRCH 15/3600

Time elapsed: 15 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 14/256
56 LTL SRCH 20/3600

Time elapsed: 20 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 19/256
56 LTL SRCH 25/3600

Time elapsed: 25 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 24/256
56 LTL SRCH 30/3600

Time elapsed: 30 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 29/256
56 LTL SRCH 35/3600

Time elapsed: 35 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 34/256
56 LTL SRCH 40/3600

Time elapsed: 40 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 39/256
56 LTL SRCH 45/3600

Time elapsed: 45 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 44/256
56 LTL SRCH 50/3600

Time elapsed: 50 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 49/256
56 LTL SRCH 55/3600

Time elapsed: 55 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 54/256
56 LTL SRCH 60/3600

Time elapsed: 60 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
24 LTL EXCL 59/256
56 LTL SRCH 65/3600

Time elapsed: 65 secs.
# running tasks:
lola: CANCELED
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-11:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
56 LTL SRCH 70/3600

Time elapsed: 70 secs.
# running tasks:
lola: LAUNCH task
lola: time limit : 271 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 294 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 320 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 352 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 392 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 4/392
56 LTL SRCH 75/3600

Time elapsed: 75 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 9/392
56 LTL SRCH 80/3600

Time elapsed: 80 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 14/392
56 LTL SRCH 85/3600

Time elapsed: 85 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 19/392
56 LTL SRCH 90/3600

Time elapsed: 90 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 24/392
56 LTL SRCH 95/3600

Time elapsed: 95 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 29/392
56 LTL SRCH 100/3600

Time elapsed: 100 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 34/392
56 LTL SRCH 105/3600

Time elapsed: 105 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 39/392
56 LTL SRCH 110/3600

Time elapsed: 110 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 44/392
56 LTL SRCH 115/3600

Time elapsed: 115 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 49/392
56 LTL SRCH 120/3600

Time elapsed: 120 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 54/392
56 LTL SRCH 125/3600

Time elapsed: 125 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 59/392
56 LTL SRCH 130/3600

Time elapsed: 130 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 64/392
56 LTL SRCH 135/3600

Time elapsed: 135 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 69/392
56 LTL SRCH 140/3600

Time elapsed: 140 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 74/392
56 LTL SRCH 145/3600

Time elapsed: 145 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 79/392
56 LTL SRCH 150/3600

Time elapsed: 150 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 84/392
56 LTL SRCH 155/3600

Time elapsed: 155 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 89/392
56 LTL SRCH 160/3600

Time elapsed: 160 secs.
# running tasks:
lola: CANCELED
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 94/392

Time elapsed: 165 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 99/392

Time elapsed: 170 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 104/392

Time elapsed: 175 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 109/392

Time elapsed: 180 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 114/392

Time elapsed: 185 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 119/392

Time elapsed: 190 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 124/392

Time elapsed: 195 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 129/392

Time elapsed: 200 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 134/392

Time elapsed: 205 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 139/392

Time elapsed: 210 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
33 LTL EXCL 144/392

Time elapsed: 215 secs.
# running tasks:
lola: CANCELED
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-04:
CANConstruction-PT-030-09:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-05:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-08:
CANConstruction-PT-030-10:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE

Time elapsed: 220 secs.
# running tasks:
lola: LAUNCH task
lola: time limit : 422 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 482 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 563 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 676 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 845 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 1126 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 1690 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 3380 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-04:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-05:
CANConstruction-PT-030-08:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
54 LTL EXCL 5/3380

Time elapsed: 225 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-030-00:
CANConstruction-PT-030-01:
CANConstruction-PT-030-02:
CANConstruction-PT-030-03:
CANConstruction-PT-030-04:
CANConstruction-PT-030-06:
CANConstruction-PT-030-07:
CANConstruction-PT-030-09:
CANConstruction-PT-030-10:
CANConstruction-PT-030-11:
CANConstruction-PT-030-12:
CANConstruction-PT-030-13:
CANConstruction-PT-030-14:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-030-05:
CANConstruction-PT-030-08:
CANConstruction-PT-030-15:

TASK CATEGORY TYPE
54 LTL EXCL 10/3380

Time elapsed: 230 secs.
# running tasks:
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: Portfolio

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

Time elapsed: 232 secs.
1-input.r289-tall-162124151800029.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off to be ready (probing ssh) ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ================================================================= examination is LTLFireability is 3600 seconds is 16384 MBytes is r289-tall-162124151800029 =========================================== directory to be used: 29K May 15 08:57 CTLCardinality.txt users 158K May 15 08:57 CTLCardinality.xml 22K May 15 08:57 CTLFireability.txt users 119K May 15 08:57 CTLFireability.xml users 4.8K May 12 07:56 LTLCardinality.txt 28K May 12 07:56 LTLCardinality.xml users 2.6K May 12 07:56 LTLFireability.txt 17K May 12 07:56 LTLFireability.xml 1 May 12 08:13 NewModel users 4.0K May 11 18:16 ReachabilityCardinality.txt 17K May 11 18:16 ReachabilityCardinality.xml users 2.7K May 11 15:34 ReachabilityFireability.txt 13K May 11 15:34 ReachabilityFireability.xml users 1.6K May 12 04:39 UpperBounds.txt users 3.7K May 12 04:39 UpperBounds.xml 6 May 12 08:13 equiv_col 4 May 12 08:13 instance 6 May 12 08:13 iscolored users 4.3M May 12 08:13 model.pnml analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) on-PT-030-00 on-PT-030-01 on-PT-030-02 on-PT-030-03 on-PT-030-04 on-PT-030-05 on-PT-030-06 on-PT-030-07 on-PT-030-08 on-PT-030-09 on-PT-030-10 on-PT-030-11 on-PT-030-12 on-PT-030-13 on-PT-030-14 on-PT-030-15 of the tool begins enchKit/bin /home/mcc/execution FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 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 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 file (--pnmlnet) from /home/mcc/execution/model.pnml contains place/transition net file /home/mcc/execution/model.pnml format (--xmlformula) from /home/mcc/execution/LTLFireability.xml arser/formula_rewrite.k:334 arser/formula_rewrite.k:314 arser/formula_rewrite.k:334 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:355 arser/formula_rewrite.k:355 arser/formula_rewrite.k:355 arser/formula_rewrite.k:352 arser/formula_rewrite.k:352 arser/formula_rewrite.k:352 arser/formula_rewrite.k:376 arser/formula_rewrite.k:376 arser/formula_rewrite.k:376 arser/formula_rewrite.k:430 arser/formula_rewrite.k:253 arser/formula_rewrite.k:524 arser/formula_rewrite.k:337 arser/formula_rewrite.k:296 arser/formula_rewrite.k:296 arser/formula_rewrite.k:433 arser/formula_rewrite.k:487 arser/formula_rewrite.k:433 arser/formula_rewrite.k:355 arser/formula_rewrite.k:334 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:250 arser/formula_rewrite.k:535 arser/formula_rewrite.k:535 arser/formula_rewrite.k:355 arser/formula_rewrite.k:379 arser/formula_rewrite.k:334 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:521 arser/formula_rewrite.k:331 arser/formula_rewrite.k:314 arser/formula_rewrite.k:337 arser/formula_rewrite.k:296 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:317 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:352 arser/formula_rewrite.k:376 arser/formula_rewrite.k:370 arser/formula_rewrite.k:328 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:314 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:355 arser/formula_rewrite.k:346 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:430 arser/formula_rewrite.k:355 arser/formula_rewrite.k:379 arser/formula_rewrite.k:352 arser/formula_rewrite.k:436 arser/formula_rewrite.k:355 arser/formula_rewrite.k:379 arser/formula_rewrite.k:373 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:430 arser/formula_rewrite.k:346 arser/formula_rewrite.k:427 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. transitions removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. # 56 (type SKEL/SRCH) for 32 CANConstruction-PT-030-08 : 32000000 sec skeleton in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. arser/formula_rewrite.k:721 arser/formula_rewrite.k:787 arser/formula_rewrite.k:721 arser/formula_rewrite.k:787 arser/formula_rewrite.k:721 arser/formula_rewrite.k:787 # 60 (type EXCL) for 12 CANConstruction-PT-030-04 # 58 (type FNDP) for 12 CANConstruction-PT-030-04 : 32000000 sec # 59 (type EQUN) for 12 CANConstruction-PT-030-04 : 32000000 sec arser/formula_rewrite.k:721 arser/formula_rewrite.k:787 problem file /home/mcc/execution/LTLFireability-59.sara. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-030-08 186935 m, 37387 m/sec, 1192418 t fired, . 0/5 CANConstruction-PT-030-04 -- 0/5 CANConstruction-PT-030-04 sara is running. 1/32 CANConstruction-PT-030-04 -- Pages in use: 2 4 of 4 Visible: 16 task # 60 (type EXCL) for CANConstruction-PT-030-04 : true : 2.000000 1 task # 58 (type FNDP) for CANConstruction-PT-030-04 (obsolete) task # 59 (type EQUN) for CANConstruction-PT-030-04 (obsolete) # 42 (type EXCL) for 41 CANConstruction-PT-030-11 task # 59 (type EQUN) for CANConstruction-PT-030-04 : unknown task # 42 (type EXCL) for CANConstruction-PT-030-11 : true 1 : 0.000000 1 # 24 (type EXCL) for 23 CANConstruction-PT-030-05 task # 58 (type FNDP) for CANConstruction-PT-030-04 : true 1 : 2.000000 0 arser/formula_rewrite.k:749 arser/formula_rewrite.k:787 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 CANConstruction-PT-030-05 66973 m, 13394 m/sec, 142477 t fired, . 1/5 CANConstruction-PT-030-08 442599 m, 51132 m/sec, 2732285 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 CANConstruction-PT-030-05 187146 m, 24034 m/sec, 400378 t fired, . 1/5 CANConstruction-PT-030-08 715407 m, 54561 m/sec, 5446125 t fired, . Pages in use: 6 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 CANConstruction-PT-030-05 304158 m, 23402 m/sec, 653626 t fired, . 1/5 CANConstruction-PT-030-08 1035218 m, 63962 m/sec, 8046063 t fired, . Pages in use: 9 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 CANConstruction-PT-030-05 417439 m, 22656 m/sec, 901250 t fired, . 1/5 CANConstruction-PT-030-08 1448165 m, 82589 m/sec, 10577808 t fired, . Pages in use: 11 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 CANConstruction-PT-030-05 545135 m, 25539 m/sec, 1164585 t fired, . 1/5 CANConstruction-PT-030-08 1845430 m, 79453 m/sec, 12980827 t fired, . Pages in use: 14 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 CANConstruction-PT-030-05 668480 m, 24669 m/sec, 1422402 t fired, . 1/5 CANConstruction-PT-030-08 1968239 m, 24561 m/sec, 15377791 t fired, . Pages in use: 17 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 CANConstruction-PT-030-05 792175 m, 24739 m/sec, 1678510 t fired, . 1/5 CANConstruction-PT-030-08 2209150 m, 48182 m/sec, 17840532 t fired, . Pages in use: 20 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 CANConstruction-PT-030-05 914566 m, 24478 m/sec, 1934203 t fired, . 1/5 CANConstruction-PT-030-08 2448947 m, 47959 m/sec, 20319350 t fired, . Pages in use: 23 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 CANConstruction-PT-030-05 1034079 m, 23902 m/sec, 2185801 t fired, . 1/5 CANConstruction-PT-030-08 2720384 m, 54287 m/sec, 22907624 t fired, . Pages in use: 25 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 CANConstruction-PT-030-05 1152185 m, 23621 m/sec, 2433749 t fired, . 1/5 CANConstruction-PT-030-08 2948610 m, 45645 m/sec, 25475161 t fired, . Pages in use: 28 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 CANConstruction-PT-030-05 1267940 m, 23151 m/sec, 2684633 t fired, . 1/5 CANConstruction-PT-030-08 3379109 m, 86099 m/sec, 27823680 t fired, . Pages in use: 31 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL true 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 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 32/32 CANConstruction-PT-030-05 1377781 m, 21968 m/sec, 2928511 t fired, . 1/5 CANConstruction-PT-030-08 3711199 m, 66418 m/sec, 30130829 t fired, . Pages in use: 33 2 of 4 Visible: 16 task # 24 (type EXCL) for CANConstruction-PT-030-05 (memory limit exceeded) VALUE PRODUCED BY CONJ false state space LTL true 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 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 1 0 0 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-030-08 3810004 m, 19761 m/sec, 32449640 t fired, . Pages in use: 33 2 of 4 Visible: 16 # 51 (type EXCL) for 50 CANConstruction-PT-030-14 task # 51 (type EXCL) for CANConstruction-PT-030-14 : false 62 62 : 0.000000 1 # 48 (type EXCL) for 47 CANConstruction-PT-030-13 task # 48 (type EXCL) for CANConstruction-PT-030-13 : false 8887 34747 : 1.000000 1 # 45 (type EXCL) for 44 CANConstruction-PT-030-12 task # 45 (type EXCL) for CANConstruction-PT-030-12 : false 22123 41278 : 0.000000 1 # 36 (type EXCL) for 35 CANConstruction-PT-030-09 task # 36 (type EXCL) for CANConstruction-PT-030-09 : false 123 124 : 0.000000 1 # 33 (type EXCL) for 32 CANConstruction-PT-030-08 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 CANConstruction-PT-030-08 57543 m, 11508 m/sec, 232650 t fired, . 1/5 CANConstruction-PT-030-08 3956025 m, 29204 m/sec, 34809258 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 CANConstruction-PT-030-08 127049 m, 13901 m/sec, 539425 t fired, . 1/5 CANConstruction-PT-030-08 4289828 m, 66760 m/sec, 37266890 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 CANConstruction-PT-030-08 194238 m, 13437 m/sec, 843370 t fired, . 1/5 CANConstruction-PT-030-08 4423723 m, 26779 m/sec, 39600183 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 CANConstruction-PT-030-08 248833 m, 10919 m/sec, 1151887 t fired, . 1/5 CANConstruction-PT-030-08 4904057 m, 96066 m/sec, 41888069 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 CANConstruction-PT-030-08 270009 m, 4235 m/sec, 1465671 t fired, . 1/5 CANConstruction-PT-030-08 5317107 m, 82610 m/sec, 44119583 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 CANConstruction-PT-030-08 331317 m, 12261 m/sec, 1773677 t fired, . 1/5 CANConstruction-PT-030-08 5705410 m, 77660 m/sec, 46340131 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 CANConstruction-PT-030-08 388070 m, 11350 m/sec, 2076825 t fired, . 1/5 CANConstruction-PT-030-08 6061732 m, 71264 m/sec, 48533527 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 CANConstruction-PT-030-08 442900 m, 10966 m/sec, 2384251 t fired, . 1/5 CANConstruction-PT-030-08 6404524 m, 68558 m/sec, 50728515 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 CANConstruction-PT-030-08 478163 m, 7052 m/sec, 2695004 t fired, . 1/5 CANConstruction-PT-030-08 6726071 m, 64309 m/sec, 52941383 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 CANConstruction-PT-030-08 519520 m, 8271 m/sec, 3004812 t fired, . 1/5 CANConstruction-PT-030-08 7030232 m, 60832 m/sec, 55163861 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 CANConstruction-PT-030-08 588815 m, 13859 m/sec, 3309138 t fired, . 1/5 CANConstruction-PT-030-08 7303675 m, 54688 m/sec, 57431001 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 CANConstruction-PT-030-08 655806 m, 13398 m/sec, 3612984 t fired, . 1/5 CANConstruction-PT-030-08 7395399 m, 18344 m/sec, 59680357 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 CANConstruction-PT-030-08 711804 m, 11199 m/sec, 3915678 t fired, . 1/5 CANConstruction-PT-030-08 7397197 m, 359 m/sec, 61752790 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 CANConstruction-PT-030-08 728920 m, 3423 m/sec, 4215884 t fired, . 1/5 CANConstruction-PT-030-08 7398091 m, 178 m/sec, 63827235 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 CANConstruction-PT-030-08 788517 m, 11919 m/sec, 4516678 t fired, . 1/5 CANConstruction-PT-030-08 7398644 m, 110 m/sec, 65892670 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 CANConstruction-PT-030-08 843902 m, 11077 m/sec, 4815654 t fired, . 1/5 CANConstruction-PT-030-08 7399051 m, 81 m/sec, 67962342 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 CANConstruction-PT-030-08 899408 m, 11101 m/sec, 5118243 t fired, . 1/5 CANConstruction-PT-030-08 7623221 m, 44834 m/sec, 70256815 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 CANConstruction-PT-030-08 940935 m, 8305 m/sec, 5418975 t fired, . 4/5 CANConstruction-PT-030-08 8059098 m, 87175 m/sec, 72584234 t fired, . Pages in use: 33 2 of 4 Visible: 16 task # 56 (type SRCH) for CANConstruction-PT-030-08 (memory limit exceeded) VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 CANConstruction-PT-030-08 970590 m, 5931 m/sec, 5726458 t fired, . Pages in use: 33 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 CANConstruction-PT-030-08 1039592 m, 13800 m/sec, 6030173 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 CANConstruction-PT-030-08 1106088 m, 13299 m/sec, 6331289 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 CANConstruction-PT-030-08 1161229 m, 11028 m/sec, 6636255 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 CANConstruction-PT-030-08 1182253 m, 4204 m/sec, 6943999 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 CANConstruction-PT-030-08 1244194 m, 12388 m/sec, 7246517 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 CANConstruction-PT-030-08 1300458 m, 11252 m/sec, 7542495 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 CANConstruction-PT-030-08 1352539 m, 10416 m/sec, 7842074 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 29/32 CANConstruction-PT-030-08 1387843 m, 7060 m/sec, 8145719 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 CANConstruction-PT-030-08 1424871 m, 7405 m/sec, 8453734 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 31/32 CANConstruction-PT-030-08 1492982 m, 13622 m/sec, 8760367 t fired, . Pages in use: 33 1 of 4 Visible: 16 task # 33 (type EXCL) for CANConstruction-PT-030-08 (memory limit exceeded) VALUE PRODUCED BY CONJ false state space LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL 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 0 0 0 1 0 1 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 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 33 1 of 4 Visible: 16 # 30 (type EXCL) for 29 CANConstruction-PT-030-07 task # 30 (type EXCL) for CANConstruction-PT-030-07 : false 62 62 : 0.000000 1 # 27 (type EXCL) for 26 CANConstruction-PT-030-06 task # 27 (type EXCL) for CANConstruction-PT-030-06 : true 211 300 : 0.000000 1 # 7 (type EXCL) for 6 CANConstruction-PT-030-02 task # 7 (type EXCL) for CANConstruction-PT-030-02 : false 62 62 : 0.000000 1 # 1 (type EXCL) for 0 CANConstruction-PT-030-00 task # 1 (type EXCL) for CANConstruction-PT-030-00 : true 61 60 : 0.000000 1 # 39 (type EXCL) for 38 CANConstruction-PT-030-10 task # 39 (type EXCL) for CANConstruction-PT-030-10 : false 134 135 : 0.000000 1 # 10 (type EXCL) for 9 CANConstruction-PT-030-03 task # 10 (type EXCL) for CANConstruction-PT-030-03 : false 69 69 : 0.000000 1 # 4 (type EXCL) for 3 CANConstruction-PT-030-01 task # 4 (type EXCL) for CANConstruction-PT-030-01 : false 70 70 : 0.000000 1 # 54 (type EXCL) for 53 CANConstruction-PT-030-15 VALUE PRODUCED BY LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false state space LTL true 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 false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 0 0 2 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 CANConstruction-PT-030-15 127710 m, 25542 m/sec, 268151 t fired, . Pages in use: 33 1 of 4 Visible: 16 VALUE PRODUCED BY LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false state space LTL true 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 false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 0 0 2 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 CANConstruction-PT-030-15 256228 m, 25703 m/sec, 532781 t fired, . Pages in use: 33 1 of 4 Visible: 16 task # 54 (type EXCL) for CANConstruction-PT-030-15 : false : 303472 631283 : 12.000000 6 finished: 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 CONJ false state space LTL unknown AGGR LTL true LTL model checker LTL false LTL model checker LTL unknown AGGR LTL false LTL model checker LTL false LTL model checker 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 Pages in use: 33

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="CANConstruction-PT-030"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is CANConstruction-PT-030, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r289-tall-162124151800029"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-030.tgz
mv CANConstruction-PT-030 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;