MCC'2023- Execution of r231-tall-167856415500066

About the Execution of LoLa+red for HypertorusGrid-PT-d5k3p2b10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16217.476	684956.00	1721926.00	10869.40	????????F???????	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r231-tall-16
Waiting for the VM to be ready (probing ssh)
..............................................
========================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is HypertorusGrid-PT-d5k3p2b10,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r231-tall-16785641550006
==============================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:20
-rw-r--r-- 1 mcc users 50K Feb 26 16:20
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:27
-rw-r--r-- 1 mcc users 44K Feb 26 13:27
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40
-rw-r--r-- 1 mcc users 6.3K Jan 29 11:40
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:17
-rw-r--r-- 1 mcc users 29K Feb 25 16:17
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:17
-rw-r--r-- 1 mcc users 17K Feb 25 16:17
-rw-r--r-- 1 mcc users 16K Feb 26 22:39
-rw-r--r-- 1 mcc users 124K Feb 26 22:39
-rw-r--r-- 1 mcc users 16K Feb 26 21:01
-rw-r--r-- 1 mcc users 92K Feb 26 21:01
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:17
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17
-rw-r--r-- 1 mcc users 6 Mar 5 18:22
-rw-r--r-- 1 mcc users 10 Mar 5 18:22
-rw-r--r-- 1 mcc users 6 Mar 5 18:22
-rwxr-xr-x 1 mcc users 14M Mar 5 18:22

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

=== Data for post analysis generated

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-CTLFi

=== Now, execution of the tool begins

BK_START 1679432091846

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypertorusGrid-PT-d5k3p2b10
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-21 20:54:53] [INFO ] Running
[2023-03-21 20:54:53] [INFO ] Parsing
[2023-03-21 20:54:53] [INFO ] Load
[2023-03-21 20:54:53] [INFO ] Transformed
[2023-03-21 20:54:54] [INFO ] Transformed
[2023-03-21 20:54:54] [INFO ] Parsed
Parsed 16 properties from file /home/mcc/execu
Support contains 182 out of 7533 places.
Starting structural reductions in LTL
Applied a total of 0 rules in 1385 ms.
// Phase 1: matrix 24300 rows 7533 cols
[2023-03-21 20:54:56] [INFO ] Computed
[2023-03-21 20:55:02] [INFO ] Implicit
Implicit Place search using SMT only
[2023-03-21 20:55:02] [INFO ] Invariant
[2023-03-21 20:55:17] [INFO ] Dead
Finished structural reductions in LTL
Support contains 182 out of 7533 places
[2023-03-21 20:55:19] [INFO ] Flatten
[2023-03-21 20:55:20] [INFO ] Flatten
[2023-03-21 20:55:21] [INFO ] Input
Support contains 176 out of 7533 places
Incomplete random walk after 10000 steps,
Incomplete Best-First random walk after 10001
Incomplete Best-First random walk after 10001
Incomplete Best-First random walk after 10001
Incomplete Best-First random walk after 10001
Incomplete Best-First random walk after 10001
Finished Best-First random walk after 4870
[2023-03-21 20:55:34] [INFO ] Flatten
[2023-03-21 20:55:34] [INFO ] Flatten
[2023-03-21 20:55:36] [INFO ] Input
Computed a total of 0 stabilizing places
Starting structural reductions in LTL
Applied a total of 0 rules in 1341 ms.
Finished structural reductions in LTL
[2023-03-21 20:55:38] [INFO ] Flatten
[2023-03-21 20:55:39] [INFO ] Flatten
[2023-03-21 20:55:40] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 1180 ms.
Finished structural reductions in LTL
[2023-03-21 20:55:42] [INFO ] Flatten
[2023-03-21 20:55:43] [INFO ] Flatten
[2023-03-21 20:55:44] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 817 ms.
Finished structural reductions in LTL
[2023-03-21 20:55:46] [INFO ] Flatten
[2023-03-21 20:55:46] [INFO ] Flatten
[2023-03-21 20:55:47] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 823 ms.
Finished structural reductions in LTL
[2023-03-21 20:55:49] [INFO ] Flatten
[2023-03-21 20:55:50] [INFO ] Flatten
[2023-03-21 20:55:51] [INFO ] Input
Starting structural reductions in SI_CTL
Applied a total of 0 rules in 1053 ms.
Finished structural reductions in SI_CTL
[2023-03-21 20:55:53] [INFO ] Flatten
[2023-03-21 20:55:53] [INFO ] Flatten
[2023-03-21 20:55:54] [INFO ] Input
Starting structural reductions in SI_CTL
Applied a total of 0 rules in 883 ms.
Finished structural reductions in SI_CTL
[2023-03-21 20:55:56] [INFO ] Flatten
[2023-03-21 20:55:57] [INFO ] Flatten
[2023-03-21 20:55:58] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 808 ms.
Finished structural reductions in LTL
[2023-03-21 20:55:59] [INFO ] Flatten
[2023-03-21 20:56:00] [INFO ] Flatten
[2023-03-21 20:56:01] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 808 ms.
Finished structural reductions in LTL
[2023-03-21 20:56:03] [INFO ] Flatten
[2023-03-21 20:56:04] [INFO ] Flatten
[2023-03-21 20:56:05] [INFO ] Input
Starting structural reductions in SI_CTL
Applied a total of 0 rules in 969 ms.
Finished structural reductions in SI_CTL
[2023-03-21 20:56:06] [INFO ] Flatten
[2023-03-21 20:56:07] [INFO ] Flatten
[2023-03-21 20:56:08] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 829 ms.
Finished structural reductions in LTL
[2023-03-21 20:56:10] [INFO ] Flatten
[2023-03-21 20:56:10] [INFO ] Flatten
[2023-03-21 20:56:12] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 812 ms.
Finished structural reductions in LTL
[2023-03-21 20:56:13] [INFO ] Flatten
[2023-03-21 20:56:14] [INFO ] Flatten
[2023-03-21 20:56:15] [INFO ] Input
Starting structural reductions in SI_CTL
Applied a total of 0 rules in 872 ms.
Finished structural reductions in SI_CTL
[2023-03-21 20:56:17] [INFO ] Flatten
[2023-03-21 20:56:17] [INFO ] Flatten
[2023-03-21 20:56:19] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 817 ms.
Finished structural reductions in LTL
[2023-03-21 20:56:20] [INFO ] Flatten
[2023-03-21 20:56:21] [INFO ] Flatten
[2023-03-21 20:56:22] [INFO ] Input
Starting structural reductions in SI_CTL
Applied a total of 0 rules in 962 ms.
Finished structural reductions in SI_CTL
[2023-03-21 20:56:24] [INFO ] Flatten
[2023-03-21 20:56:24] [INFO ] Flatten
[2023-03-21 20:56:25] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 811 ms.
Finished structural reductions in LTL
[2023-03-21 20:56:27] [INFO ] Flatten
[2023-03-21 20:56:28] [INFO ] Flatten
[2023-03-21 20:56:29] [INFO ] Input
Starting structural reductions in LTL
Applied a total of 0 rules in 815 ms.
Finished structural reductions in LTL
[2023-03-21 20:56:30] [INFO ] Flatten
[2023-03-21 20:56:31] [INFO ] Flatten
[2023-03-21 20:56:32] [INFO ] Input
[2023-03-21 20:56:33] [INFO ] Flatten
[2023-03-21 20:56:34] [INFO ] Flatten
[2023-03-21 20:56:34] [INFO ] Export
[2023-03-21 20:56:34] [INFO ] Export
Total runtime 100984 ms.
There are residual formulas that ITS
starting LoLA
BK_INPUT HypertorusGrid-PT-d5k3p2b10
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin//../redu
current directory: /home/mcc/execution/374
CTLFireability

FORMULA HypertorusGrid-PT-d5k3p2b10-CTLFireability-08

BK_STOP 1679432776802

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstool
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylib
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/it
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../.
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/3
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execution/37
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/executi
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: RELEASE
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 174 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 179 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 184 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 0.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 189 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 194 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 199 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 17.000000 secs.
lola: Created skeleton in 0.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 204 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 209 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 214 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 219 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 16.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 224 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 229 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 234 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 16.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 239 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 244 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 249 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 254 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 14.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 259 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 264 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 269 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 274 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 20.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 279 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 284 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 289 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 294 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 17.000000 secs.
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 299 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 304 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 309 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 314 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 319 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 324 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 329 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 334 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 339 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 344 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 349 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 354 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 359 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 364 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 369 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 374 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 379 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 384 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 389 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 394 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 399 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 404 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 409 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 414 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 419 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 424 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 429 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 434 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 439 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 444 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 449 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 454 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 459 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 464 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 469 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 474 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 479 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 484 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 489 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: LAUNCH task # 33 (type EXCL)
lola: time limit : 172 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
33 CTL EXCL 1/172 1/32

Time elapsed: 494 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: FINISHED task # 33 (type EXCL)
lola: result : false
lola: markings : 2532
lola: fired transitions : 7596
lola: time used : 2.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: LAUNCH task # 45 (type EXCL)
lola: time limit : 182 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 1/182 1/32

Time elapsed: 499 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 7/182 3/32

Time elapsed: 505 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 12/182 6/32

Time elapsed: 510 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 17/182 9/32

Time elapsed: 515 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 22/182 12/32

Time elapsed: 520 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 27/182 15/32

Time elapsed: 525 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 32/182 18/32

Time elapsed: 530 secs. Pages in use: 18
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
45 CTL EXCL 38/182 23/32

Time elapsed: 536 secs. Pages in use: 23
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 45 (type EXCL)
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 541 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 54 (type EXCL)
lola: time limit : 191 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
54 CTL EXCL 4/191 2/32

Time elapsed: 546 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
54 CTL EXCL 9/191 2/32

Time elapsed: 551 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
54 CTL EXCL 15/191 3/32

Time elapsed: 557 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
54 CTL EXCL 20/191 4/32

Time elapsed: 562 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
54 CTL EXCL 26/191 5/32

Time elapsed: 568 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-08:

PENDING FORMULAS: CATEGORY
HypertorusGrid-PT-d5k3p2b10-CTLFireability-00:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-01:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-02:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-03:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-04:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-05:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-06:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-07:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-09:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-10:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-11:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-12:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-13:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-14:
HypertorusGrid-PT-d5k3p2b10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
54 CTL EXCL 33/191 6/32

Time elapsed: 575 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/bin//../reducer/bin//../../
7856415500066.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ============================================= examination is CTLFireability 6 ======================= CTLCardinality.txt CTLCardinality.xml CTLFireability.txt CTLFireability.xml GenericPropertiesDefinition.xml GenericPropertiesVerdict.xml LTLCardinality.txt LTLCardinality.xml LTLFireability.txt LTLFireability.xml ReachabilityCardinality.txt ReachabilityCardinality.xml ReachabilityFireability.txt ReachabilityFireability.xml UpperBounds.txt UpperBounds.xml equiv_col instance iscolored model.pnml by BenchKit (invocation template) 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, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML] pnml file : /home/mcc/execution/model.pnml time of PNML (sax parser for PT used): 518 ms 7533 places. 24300 transitions. PT model containing 7533 places and 24300 transitions and 97200 arcs in 757 ms. tion/CTLFireability.xml in 13 ms. Attempting structural reductions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. 2674 place invariants in 851 ms Places using invariants in 6619 ms returned [] with invariants took 6731 ms to find 0 implicit places. cache hit. Transitions using invariants and state equation in 15630 ms found 0 transitions. mode , in 1 iterations and 23755 ms. Remains : 7533/7533 places, 24300/24300 transitions. after structural reductions. gal took : 1006 ms gal took : 789 ms system was already deterministic with 24300 transitions. (down from 182) after GAL structural reductions. including 2 resets, run finished after 8219 ms. (steps per millisecond=1 ) properties (out of 66) seen :60 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=15 ) properties (out of 6) seen :1 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=16 ) properties (out of 5) seen :1 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=16 ) properties (out of 4) seen :1 steps, including 2 resets, run finished after 623 ms. (steps per millisecond=16 ) properties (out of 3) seen :1 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=16 ) properties (out of 2) seen :1 steps, including 0 resets, run visited all 1 properties in 289 ms. (steps per millisecond=16 ) gal took : 606 ms gal took : 703 ms system was already deterministic with 24300 transitions. and 0 stable transitions mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 1343 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 600 ms gal took : 661 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 1184 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 592 ms gal took : 657 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 818 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 591 ms gal took : 654 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 824 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 590 ms gal took : 659 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 1054 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 592 ms gal took : 662 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 883 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 587 ms gal took : 669 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 808 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 592 ms gal took : 656 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 809 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 589 ms gal took : 665 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 969 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 589 ms gal took : 660 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 829 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 585 ms gal took : 665 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 813 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 592 ms gal took : 679 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 872 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 590 ms gal took : 658 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 817 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 591 ms gal took : 661 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 963 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 591 ms gal took : 659 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 811 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 611 ms gal took : 637 ms system was already deterministic with 24300 transitions. mode, iteration 0 : 7533/7533 places, 24300/24300 transitions. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions. mode , in 1 iterations and 815 ms. Remains : 7533/7533 places, 24300/24300 transitions. gal took : 590 ms gal took : 664 ms system was already deterministic with 24300 transitions. gal took : 637 ms gal took : 667 ms to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 3 ms. to PNML in file /home/mcc/execution/model.sr.pnml of net with 7533 places, 24300 transitions and 97200 arcs took 83 ms. could not solve within timeout cer/bin//../../lola/bin/ FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT s/pylibs s stools/pylibs: pylibs: ../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar ./itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML 74/model.pnml net 4/model.pnml on/374/CTLFireability.xml e.k:544 e.k:544 e.k:250 e.k:250 e.k:547 e.k:547 e.k:397 e.k:322 e.k:337 e.k:296 e.k:296 e.k:322 e.k:337 e.k:325 e.k:328 e.k:296 e.k:296 e.k:469 e.k:322 e.k:331 e.k:296 e.k:250 e.k:253 e.k:322 e.k:337 e.k:296 e.k:296 e.k:325 e.k:328 e.k:296 e.k:394 e.k:325 e.k:337 e.k:296 e.k:325 e.k:328 e.k:296 e.k:547 e.k:322 e.k:337 e.k:296 e.k:325 e.k:328 e.k:296 e.k:325 e.k:337 e.k:325 e.k:331 e.k:296 e.k:296 places removed VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS e.k:808 e.k:813 e.k:811 for 32 HypertorusGrid-PT-d5k3p2b10-CTLFireability-08 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-08 713 m, 142 m/sec, 2138 t fired, . e.k:808 e.k:811 e.k:813 for HypertorusGrid-PT-d5k3p2b10-CTLFireability-08 e.k:806 e.k:807 e.k:811 e.k:806 e.k:807 e.k:811 e.k:815 e.k:808 e.k:806 for 44 HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 4349 m, 869 m/sec, 4356 t fired, . e.k:807 e.k:807 e.k:808 e.k:808 e.k:813 e.k:806 e.k:810 e.k:807 e.k:807 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 1 0 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 35198 m, 6169 m/sec, 35270 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 68943 m, 6749 m/sec, 69080 t fired, . e.k:814 e.k:806 e.k:808 e.k:814 e.k:806 e.k:811 e.k:810 e.k:808 e.k:811 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 95215 m, 5254 m/sec, 95407 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 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 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 130799 m, 7116 m/sec, 131061 t fired, . VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 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 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 166775 m, 7195 m/sec, 167111 t fired, . e.k:810 e.k:808 e.k:812 e.k:814 e.k:811 e.k:809 e.k:806 e.k:726 e.k:787 e.k:749 e.k:787 e.k:813 e.k:806 e.k:811 e.k:812 e.k:806 e.k:806 e.k:807 e.k:814 e.k:814 e.k:812 e.k:809 VALUE PRODUCED BY CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 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 0 0 0 1 0 0 0 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 203350 m, 7315 m/sec, 203762 t fired, . e.k:813 e.k:812 e.k:807 e.k:813 e.k:807 e.k:749 e.k:787 e.k:812 e.k:811 e.k:810 e.k:811 e.k:808 e.k:813 e.k:813 e.k:807 e.k:813 e.k:808 e.k:806 e.k:813 e.k:815 e.k:807 e.k:726 e.k:787 e.k:806 e.k:806 e.k:812 e.k:806 e.k:808 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 1 0 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 F 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 EFAG 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 269400 m, 13210 m/sec, 269942 t fired, . for HypertorusGrid-PT-d5k3p2b10-CTLFireability-12 (memory limit exceeded) 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS for 53 HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 18612 m, 3722 m/sec, 23421 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 34555 m, 3188 m/sec, 44146 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 51136 m, 3316 m/sec, 65701 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 65968 m, 2966 m/sec, 84983 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 87607 m, 4327 m/sec, 113118 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 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 F 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 EFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 STATUS HypertorusGrid-PT-d5k3p2b10-CTLFireability-15 109669 m, 4412 m/sec, 141790 t fired, . lola/bin//../BenchKit_head.sh: line 63: 476 Killed lola --conf=$BIN_DIR/configfiles/ctlfireabilityconf --formula=$DIR/CTLFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d5k3p2b10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lolaxred"
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 lolaxred"
echo " Input is HypertorusGrid-PT-d5k3p2b10, 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 r231-tall-167856415500066"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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