MCC'2021- Execution of r061-tall-162038393600701

About the Execution of LoLA for DatabaseWithMutex-COL-20

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16247.756	374539.00	357217.00	2150.10	??F?????F???????	normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 106K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 107K May
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.7K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users

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

=== Data for post analysis

The expected result
BOOL_VECTOR

here is the order used
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut

=== Now, execution

BK_START 1620493894911

starting LoLA
BK_INPUT DatabaseWithMutex-COL-20
BK_EXAMINATION: LTLFireability
bin directory: /home/mcc/Ben
current directory:
LTLFireability

FORMULA DatabaseWithMutex-COL-20-02

FORMULA DatabaseWithMutex-COL-20-08

BK_STOP 1620494269450

--------------------
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 contains
lola: finished parsing
lola: closed net
lola: Reading HL
lola: reading formula
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: ASSUMEDDEADLOCKFREE
lola: ASSUMEDDEADLOCKFREE
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/Par
lola: rewrite Frontend/Par
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: ASSUMEDDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH INITIAL
lola: LAUNCH task
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task
lola: result
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used
lola: memory pages used :
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
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/Par
lola: rewrite Frontend/Par
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: TR BINDINGS
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
sara: try reading problem

lola: FINISHED task
lola: result
lola: TR BINDINGS DONE
lola: Places: 3260,
lola: @ trans Start
lola: @ trans Update
lola: @
lola: @ trans Acquire
lola: @ trans Change
lola: @ trans Release
lola: @
lola: @ trans SendMsg
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 6 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 11 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 16 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 21 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 26 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 31 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 36 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 41 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 46 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 51 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 56 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 61 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 66 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 71 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 76 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 81 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 86 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 91 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 96 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 101 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 106 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 111 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 116 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 121 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 126 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 131 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 136 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 141 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 146 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 151 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 156 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 161 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 166 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 171 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 176 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 181 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 186 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 191 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 196 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 201 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 206 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 211 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 216 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 221 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 226 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 231 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 236 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 241 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 246 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 251 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 256 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 261 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 266 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 271 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 276 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 281 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 286 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 291 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 296 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 301 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 306 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 311 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 316 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 321 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 326 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 331 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 336 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 342 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 353 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 359 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 365 secs.
# running tasks: 0
FINISHED FORMULA: CATEGORY
DatabaseWithMutex-COL-20-02:
DatabaseWithMutex-COL-20-08:

PENDING FORMULAS: CATEGORY
DatabaseWithMutex-COL-20-00:
DatabaseWithMutex-COL-20-01:
DatabaseWithMutex-COL-20-03:
DatabaseWithMutex-COL-20-04:
DatabaseWithMutex-COL-20-05:
DatabaseWithMutex-COL-20-06:
DatabaseWithMutex-COL-20-07:
DatabaseWithMutex-COL-20-09:
DatabaseWithMutex-COL-20-10:
DatabaseWithMutex-COL-20-11:
DatabaseWithMutex-COL-20-12:
DatabaseWithMutex-COL-20-13:
DatabaseWithMutex-COL-20-14:
DatabaseWithMutex-COL-20-15:

TASK CATEGORY TYPE

Time elapsed: 371 secs.
# running tasks: 0
/home/mcc/BenchKit/BenchKit_head.sh:
input.r061-tall-162038393600701.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 r061-tall-162038393600701 ========================================= directory to be used: 15K May 5 16:58 CTLCardinality.txt 5 16:58 CTLCardinality.xml 14K May 5 16:58 CTLFireability.txt 5 16:58 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.6K Mar 28 16:01 LTLCardinality.txt 26K Mar 28 16:01 LTLCardinality.xml 2.4K Mar 28 16:01 LTLFireability.txt 19K Mar 28 16:01 LTLFireability.xml 4.2K Mar 23 10:06 ReachabilityCardinality.txt 20K Mar 23 10:06 ReachabilityCardinality.xml 2.7K Mar 22 17:41 ReachabilityFireability.txt 13K Mar 22 17:41 ReachabilityFireability.xml 1.8K Mar 22 09:10 UpperBounds.txt 3.8K Mar 22 09:10 UpperBounds.xml 5 May 5 16:51 equiv_pt 3 May 5 16:51 instance 5 May 5 16:51 iscolored 38K May 5 16:51 model.pnml generated by BenchKit (invocation template) is a vector of booleans to build the result vector(from text file) ex-COL-20-00 ex-COL-20-01 ex-COL-20-02 ex-COL-20-03 ex-COL-20-04 ex-COL-20-05 ex-COL-20-06 ex-COL-20-07 ex-COL-20-08 ex-COL-20-09 ex-COL-20-10 ex-COL-20-11 ex-COL-20-12 ex-COL-20-13 ex-COL-20-14 ex-COL-20-15 of the tool begins chKit/bin /home/mcc/execution 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 High-Level net file /home/mcc/execution/model.pnml formula in XML format (--xmlformula) from /home/mcc/execution/LTLFireability.xml ser/formula_rewrite.k:524 ser/formula_rewrite.k:527 ser/formula_rewrite.k:334 ser/formula_rewrite.k:317 ser/formula_rewrite.k:296 ser/formula_rewrite.k:314 ser/formula_rewrite.k:296 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:334 ser/formula_rewrite.k:296 ser/formula_rewrite.k:334 ser/formula_rewrite.k:334 ser/formula_rewrite.k:331 ser/formula_rewrite.k:314 ser/formula_rewrite.k:296 ser/formula_rewrite.k:334 ser/formula_rewrite.k:317 ser/formula_rewrite.k:296 ser/formula_rewrite.k:334 ser/formula_rewrite.k:299 ser/formula_rewrite.k:493 ser/formula_rewrite.k:535 ser/formula_rewrite.k:150 ser/formula_rewrite.k:421 ser/formula_rewrite.k:421 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:421 ser/formula_rewrite.k:430 ser/formula_rewrite.k:346 ser/formula_rewrite.k:535 ser/formula_rewrite.k:550 ser/formula_rewrite.k:250 ser/formula_rewrite.k:490 ser/formula_rewrite.k:430 ser/formula_rewrite.k:355 ser/formula_rewrite.k:314 ser/formula_rewrite.k:328 ser/formula_rewrite.k:296 ser/formula_rewrite.k:331 ser/formula_rewrite.k:317 ser/formula_rewrite.k:334 ser/formula_rewrite.k:296 ser/formula_rewrite.k:314 ser/formula_rewrite.k:328 ser/formula_rewrite.k:296 ser/formula_rewrite.k:334 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:352 ser/formula_rewrite.k:436 ser/formula_rewrite.k:521 ser/formula_rewrite.k:535 ser/formula_rewrite.k:421 ser/formula_rewrite.k:521 ser/formula_rewrite.k:535 ser/formula_rewrite.k:544 ser/formula_rewrite.k:250 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:430 ser/formula_rewrite.k:317 ser/formula_rewrite.k:328 ser/formula_rewrite.k:296 ser/formula_rewrite.k:314 ser/formula_rewrite.k:328 ser/formula_rewrite.k:299 ser/formula_rewrite.k:331 ser/formula_rewrite.k:328 ser/formula_rewrite.k:296 ser/formula_rewrite.k:436 ser/formula_rewrite.k:521 ser/formula_rewrite.k:328 ser/formula_rewrite.k:314 ser/formula_rewrite.k:331 ser/formula_rewrite.k:314 ser/formula_rewrite.k:331 ser/formula_rewrite.k:299 ser/formula_rewrite.k:317 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:328 ser/formula_rewrite.k:331 ser/formula_rewrite.k:299 ser/formula_rewrite.k:317 ser/formula_rewrite.k:296 ser/formula_rewrite.k:314 ser/formula_rewrite.k:331 ser/formula_rewrite.k:299 ser/formula_rewrite.k:317 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:328 ser/formula_rewrite.k:331 ser/formula_rewrite.k:299 ser/formula_rewrite.k:352 ser/formula_rewrite.k:352 ser/formula_rewrite.k:349 ser/formula_rewrite.k:433 ser/formula_rewrite.k:355 ser/formula_rewrite.k:355 ser/formula_rewrite.k:379 ser/formula_rewrite.k:379 ser/formula_rewrite.k:379 ser/formula_rewrite.k:373 ser/formula_rewrite.k:355 ser/formula_rewrite.k:328 ser/formula_rewrite.k:296 ser/formula_rewrite.k:328 ser/formula_rewrite.k:317 ser/formula_rewrite.k:296 ser/formula_rewrite.k:331 ser/formula_rewrite.k:296 ser/formula_rewrite.k:253 ser/formula_rewrite.k:518 ser/formula_rewrite.k:430 ser/formula_rewrite.k:355 ser/formula_rewrite.k:379 ser/formula_rewrite.k:334 ser/formula_rewrite.k:296 ser/formula_rewrite.k:334 ser/formula_rewrite.k:334 ser/formula_rewrite.k:299 ser/formula_rewrite.k:721 ser/formula_rewrite.k:788 ser/formula_rewrite.k:721 ser/formula_rewrite.k:788 ser/formula_rewrite.k:721 ser/formula_rewrite.k:788 # 75 (type SKEL/FNDP) for 13 DatabaseWithMutex-COL-20-03 : 32000000 sec # 76 (type SKEL/EQUN) for 13 DatabaseWithMutex-COL-20-03 : 32000000 sec ser/formula_rewrite.k:721 ser/formula_rewrite.k:788 # 77 (type SKEL/SRCH) for 13 DatabaseWithMutex-COL-20-03 : 32000000 sec # 78 (type SKEL/SRCH) for 13 DatabaseWithMutex-COL-20-03 : 32000000 sec # 72 (type SKEL/CNST) for 6 DatabaseWithMutex-COL-20-02 # 72 (type SKEL/CNST) for DatabaseWithMutex-COL-20-02 : false # 75 (type SKEL/FNDP) for DatabaseWithMutex-COL-20-03 : true 1 : 0.000000 0 # 77 (type SKEL/SRCH) for DatabaseWithMutex-COL-20-03 : true 2 1 : 0.000000 1 # 76 (type EQUN) for DatabaseWithMutex-COL-20-03 (obsolete) # 78 (type SRCH) for DatabaseWithMutex-COL-20-03 (obsolete) # 79 (type SKEL/SRCH) for 33 DatabaseWithMutex-COL-20-07 : 32000000 sec # 80 (type SKEL/SRCH) for 36 DatabaseWithMutex-COL-20-08 : 32000000 sec ser/formula_rewrite.k:749 ser/formula_rewrite.k:787 # 82 (type SKEL/SRCH) for 22 DatabaseWithMutex-COL-20-06 : 32000000 sec # 82 (type SKEL/SRCH) for DatabaseWithMutex-COL-20-06 : true 39 39 : 0.000000 1 # 79 (type SKEL/SRCH) for DatabaseWithMutex-COL-20-07 : false 1581 1581 : 0.000000 1 # 80 (type SKEL/SRCH) for DatabaseWithMutex-COL-20-08 : false 1581 1581 : 0.000000 1 file /home/mcc/execution/LTLFireability-76.sara. # 76 (type SKEL/EQUN) for DatabaseWithMutex-COL-20-03 : true Transitions: 3200 trans SendReply trans end_update VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 VALUE PRODUCED BY CONJ false skeleton: preprocessing CONJ false skeleton: LTL model checker 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 AG 0 0 0 0 3 0 0 1 AU 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 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 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 Pages in use: 2 of 4 Visible: 16 line 62: 405 Killed lola --conf=$BIN_DIR/configfiles/ltlfireabilityconf --formula=$DIR/LTLFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DatabaseWithMutex-COL-20"
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 DatabaseWithMutex-COL-20, 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 r061-tall-162038393600701"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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