MCC'2021- Execution of r042-oct2-162038288200356

About the Execution of LoLA for CloudDeployment-PT-7b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16244.216	538804.00	572732.00	312.30	FFFFF?T?FF?TTFFF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2021-i
Waiting for the
.........................
===
Generated by BenchKit 2-4028
Executing tool lola
Input is CloudDeployment-PT-7b,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
=========================

--------------------
preparation of the
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 120K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.8K May
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users

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

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym
FORMULA_NAME CloudDeploym

=== Now, execution

BK_START 1620473897358

starting LoLA
BK_INPUT CloudDeployment-PT-7b
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/
current directory:
LTLCardinality

FORMULA CloudDeployment-PT-7b-09

FORMULA CloudDeployment-PT-7b-08

FORMULA CloudDeployment-PT-7b-14

FORMULA CloudDeployment-PT-7b-13

FORMULA CloudDeployment-PT-7b-12

FORMULA CloudDeployment-PT-7b-11

FORMULA CloudDeployment-PT-7b-06

FORMULA CloudDeployment-PT-7b-04

FORMULA CloudDeployment-PT-7b-02

FORMULA CloudDeployment-PT-7b-03

FORMULA CloudDeployment-PT-7b-15

FORMULA CloudDeployment-PT-7b-01

FORMULA CloudDeployment-PT-7b-00

BK_STOP 1620474436162

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML
lola: reading
lola: reading pnml
lola: PNML file
lola: finished parsing
lola: closed net
lola: Reading formula.
lola: Using XML
lola: reading XML formula
lola: reading
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: RELEASE
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 20 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 25 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 30 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 35 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 40 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 45 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 50 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 55 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 60 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 65 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 70 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 75 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 80 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 85 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 90 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 95 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 100 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 105 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 110 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 115 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 120 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 125 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 130 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 135 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 140 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 145 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 150 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 155 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 160 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 165 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 170 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 175 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 180 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 185 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 190 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 195 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 200 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 205 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 210 secs.
# running tasks:
lola: Created
lola: Rule S:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 215 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 220 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 225 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 230 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 235 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 240 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 245 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 250 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 255 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 260 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 265 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 270 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 275 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 280 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 285 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 290 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 295 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 300 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 305 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 310 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 315 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 320 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 325 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 330 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 335 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 340 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 345 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 350 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 355 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 360 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 365 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 370 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 375 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 380 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 385 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 390 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 395 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 400 secs.
# running tasks:
lola: Created
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 405 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 410 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 415 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 420 secs.
# running tasks:
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 425 secs.
# running tasks:
lola: Created
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: LAUNCH INITIAL
lola: LAUNCH task
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: rewrite
lola: rewrite
lola: rewrite
lola: rewrite
lola: LAUNCH task
lola: time limit : 167 sec
lola: memory limit: 32 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED
lola: result
lola: rewrite
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: rewrite
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: CANCELED
lola: CANCELED
lola: CANCELED
lola: LAUNCH task
lola: time limit : 186 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: time used
lola: memory pages used :
lola: FINISHED
lola: result
lola: tried executions :
lola: time used
lola: memory pages used :
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 198 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 211 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 226 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 244 sec
lola: memory limit: 32 pages
sara: try reading
sara: place or transition

lola: FINISHED
lola: result
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 5/244

Time elapsed: 430 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 10/244

Time elapsed: 435 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 15/244

Time elapsed: 440 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 20/244

Time elapsed: 445 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 25/244

Time elapsed: 450 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 30/244

Time elapsed: 455 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 35/244

Time elapsed: 460 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 40/244

Time elapsed: 465 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 45/244

Time elapsed: 470 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 50/244

Time elapsed: 475 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 55/244

Time elapsed: 480 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 60/244

Time elapsed: 485 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 65/244

Time elapsed: 490 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 70/244

Time elapsed: 495 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE
34 LTL EXCL 75/244

Time elapsed: 500 secs.
# running tasks:
lola: CANCELED
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:
CloudDeployment-PT-7b-15:

TASK CATEGORY TYPE

Time elapsed: 505 secs.
# running tasks:
lola: LAUNCH task
lola: time limit : 257 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 281 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 309 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 386 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 442 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 515 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 619 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 773 sec
lola: memory limit: 32 pages
lola: FINISHED
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 1031 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:

TASK CATEGORY TYPE
43 LTL EXCL 5/1031

Time elapsed: 510 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:

TASK CATEGORY TYPE
43 LTL EXCL 10/1031

Time elapsed: 515 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:

TASK CATEGORY TYPE
43 LTL EXCL 15/1031

Time elapsed: 520 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:

TASK CATEGORY TYPE
43 LTL EXCL 20/1031

Time elapsed: 525 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:

TASK CATEGORY TYPE
43 LTL EXCL 25/1031

Time elapsed: 530 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CloudDeployment-PT-7b-00:
CloudDeployment-PT-7b-01:
CloudDeployment-PT-7b-02:
CloudDeployment-PT-7b-03:
CloudDeployment-PT-7b-04:
CloudDeployment-PT-7b-06:
CloudDeployment-PT-7b-08:
CloudDeployment-PT-7b-09: INITIAL
CloudDeployment-PT-7b-11:
CloudDeployment-PT-7b-12:
CloudDeployment-PT-7b-13:
CloudDeployment-PT-7b-14:
CloudDeployment-PT-7b-15:

PENDING FORMULAS: CATEGORY
CloudDeployment-PT-7b-05:
CloudDeployment-PT-7b-07:
CloudDeployment-PT-7b-10:

TASK CATEGORY TYPE
43 LTL EXCL 30/1031

Time elapsed: 535 secs.
# running tasks:
/home/mcc/BenchKit/BenchKit_head.sh:
nput.r042-oct2-162038288200356.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 VM to be ready (probing ssh) ............................................................................................................................................................................................................................................................................................................................ ================================================================== examination is LTLCardinality is 3600 seconds is 16384 MBytes is r042-oct2-162038288200356 ============================================ directory to be used: 14K May 5 16:58 CTLCardinality.txt 5 16:58 CTLCardinality.xml 11K May 5 16:58 CTLFireability.txt 85K May 5 16:58 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml users 3.6K Mar 28 15:52 LTLCardinality.txt 26K Mar 28 15:52 LTLCardinality.xml users 2.1K Mar 28 15:52 LTLFireability.txt 16K Mar 28 15:52 LTLFireability.xml users 3.1K Mar 23 03:21 ReachabilityCardinality.txt 14K Mar 23 03:21 ReachabilityCardinality.xml users 3.1K Mar 22 12:49 ReachabilityFireability.txt 19K Mar 22 12:49 ReachabilityFireability.xml users 1.7K Mar 22 09:10 UpperBounds.txt users 3.7K Mar 22 09:10 UpperBounds.xml 6 May 5 16:51 equiv_col 3 May 5 16:51 instance 6 May 5 16:51 iscolored 20M May 5 16:51 model.pnml analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) ent-PT-7b-00 ent-PT-7b-01 ent-PT-7b-02 ent-PT-7b-03 ent-PT-7b-04 ent-PT-7b-05 ent-PT-7b-06 ent-PT-7b-07 ent-PT-7b-08 ent-PT-7b-09 ent-PT-7b-10 ent-PT-7b-11 ent-PT-7b-12 ent-PT-7b-13 ent-PT-7b-14 ent-PT-7b-15 of the tool begins BenchKit/bin /home/mcc/execution FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT file (--pnmlnet) net from /home/mcc/execution/model.pnml contains place/transition net file /home/mcc/execution/model.pnml format (--xmlformula) formula from /home/mcc/execution/LTLCardinality.xml Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:355 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:524 Frontend/Parser/formula_rewrite.k:352 Frontend/Parser/formula_rewrite.k:355 Frontend/Parser/formula_rewrite.k:379 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:299 Frontend/Parser/formula_rewrite.k:299 Frontend/Parser/formula_rewrite.k:430 Frontend/Parser/formula_rewrite.k:317 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:535 Frontend/Parser/formula_rewrite.k:550 Frontend/Parser/formula_rewrite.k:352 Frontend/Parser/formula_rewrite.k:376 Frontend/Parser/formula_rewrite.k:430 Frontend/Parser/formula_rewrite.k:317 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:317 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:317 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:535 Frontend/Parser/formula_rewrite.k:337 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:317 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:340 Frontend/Parser/formula_rewrite.k:299 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:299 Frontend/Parser/formula_rewrite.k:355 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:299 Frontend/Parser/formula_rewrite.k:337 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:96 Frontend/Parser/formula_rewrite.k:179 Frontend/Parser/formula_rewrite.k:116 Frontend/Parser/formula_rewrite.k:430 Frontend/Parser/formula_rewrite.k:156 Frontend/Parser/formula_rewrite.k:116 Frontend/Parser/formula_rewrite.k:121 Frontend/Parser/formula_rewrite.k:150 Frontend/Parser/formula_rewrite.k:98 Frontend/Parser/formula_rewrite.k:115 Frontend/Parser/formula_rewrite.k:355 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:409 Frontend/Parser/formula_rewrite.k:421 Frontend/Parser/formula_rewrite.k:250 Frontend/Parser/formula_rewrite.k:524 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:334 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:352 Frontend/Parser/formula_rewrite.k:98 Frontend/Parser/formula_rewrite.k:168 Frontend/Parser/formula_rewrite.k:355 Frontend/Parser/formula_rewrite.k:355 Frontend/Parser/formula_rewrite.k:352 Frontend/Parser/formula_rewrite.k:352 Frontend/Parser/formula_rewrite.k:376 Frontend/Parser/formula_rewrite.k:376 Frontend/Parser/formula_rewrite.k:376 Frontend/Parser/formula_rewrite.k:370 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:430 Frontend/Parser/formula_rewrite.k:346 Frontend/Parser/formula_rewrite.k:317 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:299 Frontend/Parser/formula_rewrite.k:314 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:296 Frontend/Parser/formula_rewrite.k:331 Frontend/Parser/formula_rewrite.k:328 Frontend/Parser/formula_rewrite.k:299 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 23.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 23.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 21.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. 0 transitions removed,0 places removed VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 24.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 23.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 23.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 23.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 28.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 22.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 0 of 4 Visible: 16 skeleton in 23.000000 secs. Frontend/Parser/formula_rewrite.k:721 Frontend/Parser/formula_rewrite.k:787 Frontend/Parser/formula_rewrite.k:721 Frontend/Parser/formula_rewrite.k:787 Frontend/Parser/formula_rewrite.k:721 Frontend/Parser/formula_rewrite.k:787 # 40 (type CNST) for 39 CloudDeployment-PT-7b-09 Frontend/Parser/formula_rewrite.k:735 Frontend/Parser/formula_rewrite.k:695 Frontend/Parser/formula_rewrite.k:787 Frontend/Parser/formula_rewrite.k:787 # 63 (type EXCL) for 36 CloudDeployment-PT-7b-08 # 61 (type FNDP) for 36 CloudDeployment-PT-7b-08 : 32000000 sec # 62 (type EQUN) for 36 CloudDeployment-PT-7b-08 : 32000000 sec task # 40 (type CNST) for CloudDeployment-PT-7b-09 : false Frontend/Parser/formula_rewrite.k:721 # 64 (type SRCH) for 36 CloudDeployment-PT-7b-08 : 32000000 sec Frontend/Parser/formula_rewrite.k:787 task # 63 (type EXCL) for CloudDeployment-PT-7b-08 : true : 2 1 : 0.000000 1 task # 61 (type FNDP) for CloudDeployment-PT-7b-08 (obsolete) task # 62 (type EQUN) for CloudDeployment-PT-7b-08 (obsolete) task # 64 (type SRCH) for CloudDeployment-PT-7b-08 (obsolete) # 55 (type EXCL) for 54 CloudDeployment-PT-7b-14 task # 64 (type SRCH) for CloudDeployment-PT-7b-08 : unknown : 0.000000 1 task # 61 (type FNDP) for CloudDeployment-PT-7b-08 : true 1 : 0.000000 0 task # 55 (type EXCL) for CloudDeployment-PT-7b-14 : false : 289 289 : 0.000000 1 # 52 (type EXCL) for 51 CloudDeployment-PT-7b-13 task # 52 (type EXCL) for CloudDeployment-PT-7b-13 : false : 353 353 : 0.000000 1 # 49 (type EXCL) for 48 CloudDeployment-PT-7b-12 task # 49 (type EXCL) for CloudDeployment-PT-7b-12 : true : 2 1 : 0.000000 1 # 46 (type EXCL) for 45 CloudDeployment-PT-7b-11 task # 46 (type EXCL) for CloudDeployment-PT-7b-11 : true : 1 : 0.000000 1 # 34 (type EXCL) for 33 CloudDeployment-PT-7b-07 problem file /home/mcc/execution/LTLCardinality-62.sara. ordering is non-deterministic task # 62 (type EQUN) for CloudDeployment-PT-7b-08 : true VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 CloudDeployment-PT-7b-07 115119 m, 23023 m/sec, 497049 t fired, . Pages in use: 2 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 CloudDeployment-PT-7b-07 257520 m, 28480 m/sec, 1095809 t fired, . Pages in use: 5 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 CloudDeployment-PT-7b-07 412532 m, 31002 m/sec, 1720342 t fired, . Pages in use: 7 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 CloudDeployment-PT-7b-07 544747 m, 26443 m/sec, 2371698 t fired, . Pages in use: 9 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 CloudDeployment-PT-7b-07 681328 m, 27316 m/sec, 3007296 t fired, . Pages in use: 11 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 CloudDeployment-PT-7b-07 835423 m, 30819 m/sec, 3630172 t fired, . Pages in use: 14 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 CloudDeployment-PT-7b-07 979278 m, 28771 m/sec, 4267238 t fired, . Pages in use: 16 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 CloudDeployment-PT-7b-07 1110028 m, 26150 m/sec, 4918142 t fired, . Pages in use: 18 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 CloudDeployment-PT-7b-07 1248248 m, 27644 m/sec, 5552257 t fired, . Pages in use: 20 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 CloudDeployment-PT-7b-07 1384820 m, 27314 m/sec, 6181526 t fired, . Pages in use: 22 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 CloudDeployment-PT-7b-07 1522053 m, 27446 m/sec, 6805311 t fired, . Pages in use: 24 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 CloudDeployment-PT-7b-07 1658590 m, 27307 m/sec, 7426766 t fired, . Pages in use: 26 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 CloudDeployment-PT-7b-07 1782939 m, 24869 m/sec, 8081784 t fired, . Pages in use: 28 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 31/32 CloudDeployment-PT-7b-07 1915465 m, 26505 m/sec, 8696789 t fired, . Pages in use: 31 1 of 4 Visible: 16 VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 32/32 CloudDeployment-PT-7b-07 2072500 m, 31407 m/sec, 9263682 t fired, . Pages in use: 32 1 of 4 Visible: 16 task # 34 (type EXCL) for CloudDeployment-PT-7b-07 (memory limit exceeded) VALUE PRODUCED BY AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 1 of 4 Visible: 16 # 31 (type EXCL) for 30 CloudDeployment-PT-7b-06 task # 31 (type EXCL) for CloudDeployment-PT-7b-06 : true : 1 : 0.000000 1 # 21 (type EXCL) for 12 CloudDeployment-PT-7b-04 task # 21 (type EXCL) for CloudDeployment-PT-7b-04 : true : 2 1 : 0.000000 1 # 19 (type EXCL) for 12 CloudDeployment-PT-7b-04 task # 19 (type EXCL) for CloudDeployment-PT-7b-04 : false : 289 289 : 0.000000 1 # 7 (type EXCL) for 6 CloudDeployment-PT-7b-02 task # 7 (type EXCL) for CloudDeployment-PT-7b-02 : false : 289 289 : 0.000000 1 # 10 (type EXCL) for 9 CloudDeployment-PT-7b-03 task # 10 (type EXCL) for CloudDeployment-PT-7b-03 : false : 8 8 : 0.000000 1 # 58 (type EXCL) for 57 CloudDeployment-PT-7b-15 task # 58 (type EXCL) for CloudDeployment-PT-7b-15 : false : 8 8 : 0.000000 1 # 4 (type EXCL) for 3 CloudDeployment-PT-7b-01 task # 4 (type EXCL) for CloudDeployment-PT-7b-01 : false : 8 8 : 0.000000 1 # 1 (type EXCL) for 0 CloudDeployment-PT-7b-00 task # 1 (type EXCL) for CloudDeployment-PT-7b-00 : false : 8 8 : 0.000000 1 # 43 (type EXCL) for 42 CloudDeployment-PT-7b-10 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 CloudDeployment-PT-7b-10 98983 m, 19796 m/sec, 360840 t fired, . Pages in use: 32 1 of 4 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 CloudDeployment-PT-7b-10 202316 m, 20666 m/sec, 707383 t fired, . Pages in use: 32 1 of 4 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 CloudDeployment-PT-7b-10 300566 m, 19650 m/sec, 1079771 t fired, . Pages in use: 32 1 of 4 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 CloudDeployment-PT-7b-10 389799 m, 17846 m/sec, 1544105 t fired, . Pages in use: 32 1 of 4 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 CloudDeployment-PT-7b-10 472591 m, 16558 m/sec, 1961274 t fired, . Pages in use: 32 1 of 4 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker AG false state space false preprocessing LTL true LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 CloudDeployment-PT-7b-10 564496 m, 18381 m/sec, 2337820 t fired, . Pages in use: 32 1 of 4 Visible: 16 line 62: 463 Killed lola --conf=$BIN_DIR/configfiles/ltlcardinalityconf --formula=$DIR/LTLCardinality.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="CloudDeployment-PT-7b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-7b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r042-oct2-162038288200356"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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