MCC'2023- Execution of r358-smll-167891808000554

About the Execution of LoLA for SharedMemory-COL-000010

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3039.399	340757.00	345333.00	1663.60	FTFTTFFTTTTTFFFF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r358-sml
Waiting for the VM to be ready (probing
..........................................
====================
Generated by BenchKit 2-5348
Executing tool lola
Input is SharedMemory-COL-000010,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r358-smll-1678918080
==========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.9K Feb 25
-rw-r--r-- 1 mcc users 93K Feb 25
-rw-r--r-- 1 mcc users 7.2K Feb 25
-rw-r--r-- 1 mcc users 58K Feb 25
-rw-r--r-- 1 mcc users 4.2K Jan 29
-rw-r--r-- 1 mcc users 6.5K Jan 29
-rw-r--r-- 1 mcc users 3.8K Feb 25
-rw-r--r-- 1 mcc users 25K Feb 25
-rw-r--r-- 1 mcc users 2.8K Feb 25
-rw-r--r-- 1 mcc users 18K Feb 25
-rw-r--r-- 1 mcc users 12K Feb 25
-rw-r--r-- 1 mcc users 114K Feb 25
-rw-r--r-- 1 mcc users 13K Feb 25
-rw-r--r-- 1 mcc users 96K Feb 25
-rw-r--r-- 1 mcc users 1.8K Feb 25
-rw-r--r-- 1 mcc users 3.8K Feb 25
-rw-r--r-- 1 mcc users 5 Mar
-rw-r--r-- 1 mcc users 7 Mar
-rw-r--r-- 1 mcc users 5 Mar
-rw-r--r-- 1 mcc users 12K Mar

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

=== Data for post analysis generated

The expected result is a vector of
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi
FORMULA_NAME SharedMemory-COL-000010-CTLFi

=== Now, execution of the tool begins

BK_START 1679191768495

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SharedMemory-COL-000010
Not applying reductions.
Model is COL
CTLFireability PT
[2023-03-19 02:09:31] [INFO ] Running
[2023-03-19 02:09:31] [INFO ] Parsing
[2023-03-19 02:09:31] [INFO ] Detected
log4j:WARN No appenders could be
log4j:WARN Please initialize the
log4j:WARN See http://logging.apache.org/l
[2023-03-19 02:09:32] [WARNING] Using
[2023-03-19 02:09:32] [INFO ] Load
[2023-03-19 02:09:32] [INFO ] Imported
Parsed 16 properties from file ./CTLFireability.xml
[2023-03-19 02:09:32] [INFO ] Unfolded
[2023-03-19 02:09:32] [INFO ] Unfolded
Reduce places removed 0 places and
[2023-03-19 02:09:33] [INFO ] Export
[2023-03-19 02:09:33] [INFO ] Export
Total runtime 1587 ms.
starting LoLA
BK_INPUT SharedMemory-COL-000010
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/bin//../
current directory: /home/mcc/execution/unf

FORMULA SharedMemory-COL-000010-CTLFireability-02

FORMULA SharedMemory-COL-000010-CTLFireability-04

FORMULA SharedMemory-COL-000010-CTLFireability-15

FORMULA SharedMemory-COL-000010-CTLFireability-14

FORMULA SharedMemory-COL-000010-CTLFireability-13

FORMULA SharedMemory-COL-000010-CTLFireability-12

FORMULA SharedMemory-COL-000010-CTLFireability-11

FORMULA SharedMemory-COL-000010-CTLFireability-10

FORMULA SharedMemory-COL-000010-CTLFireability-08

FORMULA SharedMemory-COL-000010-CTLFireability-07

FORMULA SharedMemory-COL-000010-CTLFireability-06

FORMULA SharedMemory-COL-000010-CTLFireability-03

FORMULA SharedMemory-COL-000010-CTLFireability-00

FORMULA SharedMemory-COL-000010-CTLFireability-05

FORMULA SharedMemory-COL-000010-CTLFireability-09

FORMULA SharedMemory-COL-000010-CTLFireability-01

BK_STOP 1679192109252

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/executi
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/executio
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/exe
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: RELEASE
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,10
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: LAUNCH task # 7 (type EXCL)
lola: time limit : 143 sec
lola: memory limit: 32 pages
lola: Created skeleton in 0.000000 secs.
lola: FINISHED task # 7 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: LAUNCH task # 13 (type EXCL)
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 5/224

Time elapsed: 12 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 10/224

Time elapsed: 17 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 15/224

Time elapsed: 22 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 20/224

Time elapsed: 27 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 25/224

Time elapsed: 32 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 30/224

Time elapsed: 37 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 35/224

Time elapsed: 42 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 40/224

Time elapsed: 47 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 45/224

Time elapsed: 52 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 13 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 50 (type EXCL)
lola: time limit : 236 sec
lola: memory limit: 32 pages
lola: FINISHED task # 50 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 47 (type EXCL)
lola: time limit : 253 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 3/253

Time elapsed: 57 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 8/253

Time elapsed: 62 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 13/253

Time elapsed: 67 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 18/253

Time elapsed: 72 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 23/253

Time elapsed: 77 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 28/253

Time elapsed: 82 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 33/253

Time elapsed: 87 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 38/253

Time elapsed: 92 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 47 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 44 (type EXCL)
lola: time limit : 269 sec
lola: memory limit: 32 pages
lola: FINISHED task # 44 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 41 (type EXCL)
lola: time limit : 292 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 2/292

Time elapsed: 97 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 7/292

Time elapsed: 102 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 12/292

Time elapsed: 107 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 17/292

Time elapsed: 112 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 22/292

Time elapsed: 117 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 27/292

Time elapsed: 122 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 32/292

Time elapsed: 127 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 37/292

Time elapsed: 132 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 42/292

Time elapsed: 137 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 47/292

Time elapsed: 142 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 52/292

Time elapsed: 147 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 57/292

Time elapsed: 152 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 62/292

Time elapsed: 157 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 67/292

Time elapsed: 162 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 72/292

Time elapsed: 167 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
41 CTL EXCL 77/292

Time elapsed: 172 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 41 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 38 (type EXCL)
lola: time limit : 311 sec
lola: memory limit: 32 pages
lola: FINISHED task # 38 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 31 (type EXCL)
lola: time limit : 380 sec
lola: memory limit: 32 pages
lola: FINISHED task # 31 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 25 (type EXCL)
lola: time limit : 428 sec
lola: memory limit: 32 pages
lola: FINISHED task # 25 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 22 (type EXCL)
lola: time limit : 489 sec
lola: memory limit: 32 pages
lola: FINISHED task # 22 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 19 (type EXCL)
lola: time limit : 571 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 4/571

Time elapsed: 177 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 9/571

Time elapsed: 182 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 14/571

Time elapsed: 187 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 19/571

Time elapsed: 192 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 24/571

Time elapsed: 197 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 29/571

Time elapsed: 202 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 34/571

Time elapsed: 207 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 39/571

Time elapsed: 212 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 44/571

Time elapsed: 217 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 49/571

Time elapsed: 222 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 54/571

Time elapsed: 227 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 59/571

Time elapsed: 232 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 64/571

Time elapsed: 237 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 69/571

Time elapsed: 242 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 19 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10 (type EXCL)
lola: time limit : 671 sec
lola: memory limit: 32 pages
lola: FINISHED task # 10 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 839 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 3/839

Time elapsed: 247 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 8/839

Time elapsed: 252 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 13/839

Time elapsed: 257 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 18/839

Time elapsed: 262 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 23/839

Time elapsed: 267 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 28/839

Time elapsed: 272 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 33/839

Time elapsed: 277 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 1 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 16 (type EXCL)
lola: time limit : 1107 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 5/1107

Time elapsed: 282 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 10/1107

Time elapsed: 287 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 15/1107

Time elapsed: 292 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 20/1107

Time elapsed: 297 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 25/1107

Time elapsed: 302 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 30/1107

Time elapsed: 307 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 35/1107

Time elapsed: 312 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 40/1107

Time elapsed: 317 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 45/1107

Time elapsed: 322 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 50/1107

Time elapsed: 327 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 55/1107

Time elapsed: 332 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 16 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 28 (type EXCL)
lola: time limit : 1633 sec
lola: memory limit: 32 pages
lola: FINISHED task # 28 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 4 (type EXCL)
lola: time limit : 3265 sec
lola: memory limit: 32 pages
lola: FINISHED task # 4 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished: no open

FINAL RESULTS
FINISHED FORMULA: CATEGORY
SharedMemory-COL-000010-CTLFireability-00:
SharedMemory-COL-000010-CTLFireability-01:
SharedMemory-COL-000010-CTLFireability-02:
SharedMemory-COL-000010-CTLFireability-03:
SharedMemory-COL-000010-CTLFireability-04:
SharedMemory-COL-000010-CTLFireability-05:
SharedMemory-COL-000010-CTLFireability-06:
SharedMemory-COL-000010-CTLFireability-07:
SharedMemory-COL-000010-CTLFireability-08:
SharedMemory-COL-000010-CTLFireability-09:
SharedMemory-COL-000010-CTLFireability-10:
SharedMemory-COL-000010-CTLFireability-11:
SharedMemory-COL-000010-CTLFireability-12:
SharedMemory-COL-000010-CTLFireability-13:
SharedMemory-COL-000010-CTLFireability-14:
SharedMemory-COL-000010-CTLFireability-15:

Time elapsed: 335 secs. Pages
l-167891808000554.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ================================================= examination is CTLFireability 00554 =========================== 14:06 CTLCardinality.txt 14:06 CTLCardinality.xml 14:01 CTLFireability.txt 14:01 CTLFireability.xml 11:41 GenericPropertiesDefinition.xml 11:41 GenericPropertiesVerdict.xml 16:52 LTLCardinality.txt 16:52 LTLCardinality.xml 16:52 LTLFireability.txt 16:52 LTLFireability.xml 14:13 ReachabilityCardinality.txt 14:13 ReachabilityCardinality.xml 14:11 ReachabilityFireability.txt 14:11 ReachabilityFireability.xml 16:52 UpperBounds.txt 16:52 UpperBounds.xml 5 18:23 equiv_pt 5 18:23 instance 5 18:23 iscolored 5 18:23 model.pnml by BenchKit (invocation template) booleans result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N its-tools with arguments : [-pnfolder, ., -examination, CTLFireability, --reduce-single, STATESPACE] pnml file : /home/mcc/execution/./model.pnml file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator). log4j system properly. og4j/1.2/faq.html#noconfig for more info. fallBack plugin, rng conformance not checked time of PNML (colored model parsed with PNMLFW) : 1108 ms 6 HL places and 5 HL transitions for a total of 141 PT places and 320.0 transition bindings in 30 ms. in 31 ms. HLPN to a Petri net with 141 places and 220 transitions 840 arcs in 40 ms. 16 HLPN properties in 4 ms. 10 transitions. to MCC of 16 properties in file ./CTLFireability.STATESPACE.xml took 64 ms. to PNML in file ./model.STATESPACE.pnml of net with 141 places, 210 transitions and 800 arcs took 2 ms. lola/bin/ CTLFireability FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT on/unfCTLFireability/model.pnml net n/unfCTLFireability/model.pnml cution/unfCTLFireability/CTLCardinality.xml write.k:253 write.k:253 write.k:253 write.k:391 write.k:397 write.k:439 write.k:451 write.k:317 write.k:322 write.k:334 write.k:296 write.k:317 write.k:322 write.k:334 write.k:296 write.k:322 write.k:328 write.k:296 write.k:325 write.k:334 write.k:314 write.k:296 write.k:325 write.k:337 write.k:296 write.k:296 write.k:314 write.k:317 write.k:322 write.k:334 write.k:296 write.k:322 write.k:331 write.k:296 write.k:296 write.k:250 write.k:322 write.k:328 write.k:296 write.k:451 write.k:325 write.k:328 write.k:296 write.k:325 write.k:328 write.k:296 write.k:253 write.k:253 write.k:253 write.k:250 write.k:250 write.k:394 write.k:400 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:253 write.k:253 write.k:253 write.k:400 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:250 write.k:325 write.k:337 write.k:296 write.k:325 write.k:328 write.k:296 write.k:544 places removed write.k:812 write.k:811 write.k:813 write.k:813 write.k:812 for 6 SharedMemory-COL-000010-CTLFireability-02 for SharedMemory-COL-000010-CTLFireability-02 2225 7176 0.000000 1 write.k:808 write.k:814 write.k:809 write.k:808 write.k:811 write.k:813 write.k:811 write.k:811 write.k:812 write.k:806 write.k:813 write.k:806 write.k:807 write.k:811 write.k:813 for 12 SharedMemory-COL-000010-CTLFireability-04 write.k:806 write.k:809 write.k:813 write.k:809 write.k:806 write.k:811 write.k:807 write.k:806 write.k:814 write.k:806 write.k:812 write.k:807 write.k:806 write.k:807 write.k:807 write.k:806 write.k:811 write.k:815 write.k:812 write.k:807 write.k:808 write.k:809 write.k:807 write.k:806 write.k:807 write.k:809 write.k:814 write.k:812 write.k:806 write.k:806 write.k:812 write.k:811 write.k:807 write.k:813 write.k:811 write.k:814 write.k:809 write.k:809 write.k:811 write.k:808 write.k:806 write.k:812 write.k:813 write.k:811 write.k:815 write.k:813 write.k:806 write.k:807 write.k:813 write.k:738 write.k:694 write.k:813 write.k:808 write.k:812 write.k:812 write.k:807 write.k:807 write.k:812 write.k:814 write.k:806 write.k:806 write.k:808 write.k:806 write.k:808 write.k:807 write.k:811 write.k:814 write.k:814 write.k:808 write.k:806 write.k:811 write.k:809 write.k:806 write.k:811 write.k:811 write.k:813 write.k:809 write.k:814 write.k:812 write.k:809 write.k:811 write.k:807 write.k:807 write.k:813 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 SharedMemory-COL-000010-CTLFireability-04 493094 m, 98618 m/sec, 3071405 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 SharedMemory-COL-000010-CTLFireability-04 952965 m, 91974 m/sec, 5905559 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 SharedMemory-COL-000010-CTLFireability-04 1379279 m, 85262 m/sec, 8543327 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 SharedMemory-COL-000010-CTLFireability-04 1687578 m, 61659 m/sec, 11255832 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-04 1815100 m, 25504 m/sec, 13858991 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-04 1824068 m, 1793 m/sec, 16270379 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-04 1827858 m, 758 m/sec, 18778703 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-04 1829687 m, 365 m/sec, 21355604 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-04 1830469 m, 156 m/sec, 24077251 t fired, . in use: 10 EXCL) for SharedMemory-COL-000010-CTLFireability-04 1830519 25249804 47.000000 10 for 49 SharedMemory-COL-000010-CTLFireability-15 EXCL) for SharedMemory-COL-000010-CTLFireability-15 487 1938 0.000000 1 for 46 SharedMemory-COL-000010-CTLFireability-14 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 SharedMemory-COL-000010-CTLFireability-14 372541 m, 74508 m/sec, 1563671 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 SharedMemory-COL-000010-CTLFireability-14 988486 m, 123189 m/sec, 4097432 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 SharedMemory-COL-000010-CTLFireability-14 1527621 m, 107827 m/sec, 6452330 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-14 1804199 m, 55315 m/sec, 9276322 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-14 1822338 m, 3627 m/sec, 11766498 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-14 1827145 m, 961 m/sec, 14265304 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-14 1829348 m, 440 m/sec, 16816639 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-14 1830365 m, 203 m/sec, 19506055 t fired, . in use: 10 EXCL) for SharedMemory-COL-000010-CTLFireability-14 1830519 21373691 41.000000 10 for 43 SharedMemory-COL-000010-CTLFireability-13 EXCL) for SharedMemory-COL-000010-CTLFireability-13 2163 6885 0.000000 1 for 40 SharedMemory-COL-000010-CTLFireability-12 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 SharedMemory-COL-000010-CTLFireability-12 100639 m, 20127 m/sec, 522254 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 SharedMemory-COL-000010-CTLFireability-12 323597 m, 44591 m/sec, 1850258 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 SharedMemory-COL-000010-CTLFireability-12 522373 m, 39755 m/sec, 3037371 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 SharedMemory-COL-000010-CTLFireability-12 709346 m, 37394 m/sec, 4129478 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 SharedMemory-COL-000010-CTLFireability-12 875440 m, 33218 m/sec, 5090224 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 SharedMemory-COL-000010-CTLFireability-12 1040569 m, 33025 m/sec, 6038987 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 SharedMemory-COL-000010-CTLFireability-12 1193105 m, 30507 m/sec, 6905555 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 SharedMemory-COL-000010-CTLFireability-12 1333035 m, 27986 m/sec, 7682924 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 SharedMemory-COL-000010-CTLFireability-12 1461521 m, 25697 m/sec, 8447939 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 SharedMemory-COL-000010-CTLFireability-12 1626816 m, 33059 m/sec, 9842547 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-12 1775074 m, 29651 m/sec, 11642842 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-12 1819063 m, 8797 m/sec, 13683159 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-12 1825247 m, 1236 m/sec, 16003648 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-12 1828397 m, 630 m/sec, 18477607 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-12 1830016 m, 323 m/sec, 21050284 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-12 1830492 m, 95 m/sec, 23563697 t fired, . in use: 10 EXCL) for SharedMemory-COL-000010-CTLFireability-12 1830519 24364054 78.000000 10 for 33 SharedMemory-COL-000010-CTLFireability-11 EXCL) for SharedMemory-COL-000010-CTLFireability-11 2243 7213 0.000000 1 for 30 SharedMemory-COL-000010-CTLFireability-10 EXCL) for SharedMemory-COL-000010-CTLFireability-10 28 46 0.000000 1 for 24 SharedMemory-COL-000010-CTLFireability-08 EXCL) for SharedMemory-COL-000010-CTLFireability-08 2225 7178 0.000000 1 for 21 SharedMemory-COL-000010-CTLFireability-07 EXCL) for SharedMemory-COL-000010-CTLFireability-07 2163 9065 0.000000 1 for 18 SharedMemory-COL-000010-CTLFireability-06 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 SharedMemory-COL-000010-CTLFireability-06 276295 m, 55259 m/sec, 1016825 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 SharedMemory-COL-000010-CTLFireability-06 658140 m, 76369 m/sec, 2406894 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 SharedMemory-COL-000010-CTLFireability-06 1023571 m, 73086 m/sec, 3779840 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 SharedMemory-COL-000010-CTLFireability-06 1384243 m, 72134 m/sec, 5149997 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 SharedMemory-COL-000010-CTLFireability-06 1725225 m, 68196 m/sec, 6490716 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 21058 m/sec, 8915869 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 11934580 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 14845201 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 17746826 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 20748366 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 23337160 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 25709327 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 28273719 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-06 1830518 m, 0 m/sec, 30994486 t fired, . in use: 10 EXCL) for SharedMemory-COL-000010-CTLFireability-06 1830519 32535335 71.000000 10 for 9 SharedMemory-COL-000010-CTLFireability-03 EXCL) for SharedMemory-COL-000010-CTLFireability-03 2207 15843 0.000000 1 for 0 SharedMemory-COL-000010-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 SharedMemory-COL-000010-CTLFireability-00 323773 m, 64754 m/sec, 1356382 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 SharedMemory-COL-000010-CTLFireability-00 575350 m, 50315 m/sec, 3435955 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 SharedMemory-COL-000010-CTLFireability-00 815564 m, 48042 m/sec, 4730297 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 SharedMemory-COL-000010-CTLFireability-00 1124125 m, 61712 m/sec, 5731351 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 SharedMemory-COL-000010-CTLFireability-00 1372840 m, 49743 m/sec, 6487329 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 SharedMemory-COL-000010-CTLFireability-00 1668495 m, 59131 m/sec, 8033653 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-00 1816923 m, 29685 m/sec, 10267451 t fired, . in use: 10 for SharedMemory-COL-000010-CTLFireability-00 1816923 10267451 33.000000 10 for 15 SharedMemory-COL-000010-CTLFireability-05 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 SharedMemory-COL-000010-CTLFireability-05 378151 m, 75630 m/sec, 2602626 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 SharedMemory-COL-000010-CTLFireability-05 691030 m, 62575 m/sec, 4757299 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 SharedMemory-COL-000010-CTLFireability-05 988389 m, 59471 m/sec, 6802546 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 SharedMemory-COL-000010-CTLFireability-05 1277896 m, 57901 m/sec, 8913244 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 SharedMemory-COL-000010-CTLFireability-05 1544491 m, 53319 m/sec, 10941811 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 SharedMemory-COL-000010-CTLFireability-05 1716660 m, 34433 m/sec, 13345666 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-05 1809815 m, 18631 m/sec, 16176983 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-05 1824630 m, 2963 m/sec, 18881298 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-05 1828209 m, 715 m/sec, 21651097 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-05 1829724 m, 303 m/sec, 24447073 t fired, . in use: 10 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 SharedMemory-COL-000010-CTLFireability-05 1830470 m, 149 m/sec, 27369806 t fired, . in use: 10 EXCL) for SharedMemory-COL-000010-CTLFireability-05 1830519 28752376 57.000000 10 for 27 SharedMemory-COL-000010-CTLFireability-09 EXCL) for SharedMemory-COL-000010-CTLFireability-09 126827 398934 1.000000 1 for 3 SharedMemory-COL-000010-CTLFireability-01 for SharedMemory-COL-000010-CTLFireability-01 487 5784 0.000000 1 formulas VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker in use: 10

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="SharedMemory-COL-000010"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is SharedMemory-COL-000010, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r358-smll-167891808000554"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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