MCC'2021- Execution of r270-smll-162123877500269

About the Execution of LoLA for ViralEpidemic-PT-S03D1C1A08

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15722.840	3597622.00	4384700.00	7862.10	????F??FF????F??	normal

Execution Chart

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

Trace from the execution

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

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

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S
FORMULA_NAME ViralEpidemic-PT-S

=== Now, execution of

BK_START 1621445135912

starting LoLA
BK_INPUT ViralEpidemic-PT-S03D1
BK_EXAMINATION: LTLFireability
bin directory: /home/mcc/BenchK
current directory: /home/mcc/ex
LTLFireability

FORMULA ViralEpidemic-PT-S03D1C1A08-07

FORMULA ViralEpidemic-PT-S03D1C1A08-04

FORMULA ViralEpidemic-PT-S03D1C1A08-13

FORMULA ViralEpidemic-PT-S03D1C1A08-08

BK_STOP 1621448733534

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: Created skeleton
lola: RELEASE
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3218 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3223 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3228 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3233 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3238 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3243 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3248 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3253 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3258 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3263 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3268 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3273 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3278 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3283 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3288 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3293 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3298 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3303 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3308 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3313 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3318 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3323 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3328 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3333 secs.
# running tasks: 0 of
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 3338 secs.
# running tasks: 0 of
lola: Created skeleton
lola: Created skeleton
lola: LAUNCH INITIAL
lola: LAUNCH task #
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task
lola: result
lola: LAUNCH INITIAL
lola: LAUNCH task #
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task
lola: result
lola: Created skeleton
lola: Created skeleton
lola: planning for (null)
lola: planning for (null)
lola: planning for (null)
lola: planning for (null)
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3343 secs.
# running tasks: 0 of
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3348 secs.
# running tasks: 0 of
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3353 secs.
# running tasks: 0 of
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3358 secs.
# running tasks: 0 of
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 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 task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: CANCELED task
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3363 secs.
# running tasks: 0 of
lola: Created skeleton
lola: RELEASE
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3368 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3373 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3378 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3383 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3388 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3393 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3398 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3403 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3408 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3413 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3418 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3423 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3428 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3433 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3438 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3443 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3448 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3453 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3458 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-13:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3463 secs.
# running tasks: 0 of
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit : 10 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: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: CANCELED task
lola: CANCELED task
lola: CANCELED task
lola: LAUNCH task #
lola: time limit : 10 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: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
sara: try reading problem
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :

lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3468 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3473 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3478 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3483 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3488 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3493 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3498 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3503 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3508 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3513 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3518 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3523 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3528 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3533 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3538 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3543 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3548 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3553 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3558 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3563 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3568 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3573 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3578 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3583 secs.
# running tasks: 0 of
lola: planning for (null)
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3588 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S03D1C1A08-04:
ViralEpidemic-PT-S03D1C1A08-07:
ViralEpidemic-PT-S03D1C1A08-08:
ViralEpidemic-PT-S03D1C1A08-13:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S03D1C1A08-00:
ViralEpidemic-PT-S03D1C1A08-01:
ViralEpidemic-PT-S03D1C1A08-02:
ViralEpidemic-PT-S03D1C1A08-03:
ViralEpidemic-PT-S03D1C1A08-05:
ViralEpidemic-PT-S03D1C1A08-06:
ViralEpidemic-PT-S03D1C1A08-09:
ViralEpidemic-PT-S03D1C1A08-10:
ViralEpidemic-PT-S03D1C1A08-11:
ViralEpidemic-PT-S03D1C1A08-12:
ViralEpidemic-PT-S03D1C1A08-14:
ViralEpidemic-PT-S03D1C1A08-15:

TASK CATEGORY TYPE

Time elapsed: 3593 secs.
# running tasks: 0 of
/home/mcc/BenchKit/BenchKit_head.sh:
ut.r270-smll-162123877500269.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 be ready (probing ssh) .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ============================================================ examination is LTLFireability 3600 seconds is 16384 MBytes r270-smll-162123877500269 ====================================== to be used: 23K May 5 16:58 CTLCardinality.txt 130K May 10 09:44 CTLCardinality.xml 16K May 5 16:58 CTLFireability.txt 96K May 10 09:44 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 4.6K Mar 28 16:47 LTLCardinality.txt 26K Mar 28 16:47 LTLCardinality.xml 2.6K Mar 28 16:47 LTLFireability.txt 17K Mar 28 16:47 LTLFireability.xml 4.3K Mar 27 15:09 ReachabilityCardinality.txt 18K Mar 27 15:09 ReachabilityCardinality.xml 3.2K Mar 26 06:14 ReachabilityFireability.txt 14K Mar 26 06:14 ReachabilityFireability.xml 2.0K Mar 22 08:16 UpperBounds.txt 4.0K Mar 22 08:16 UpperBounds.xml 6 May 5 16:52 equiv_col 11 May 5 16:52 instance 6 May 5 16:52 iscolored 57M May 5 16:52 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) 03D1C1A08-00 03D1C1A08-01 03D1C1A08-02 03D1C1A08-03 03D1C1A08-04 03D1C1A08-05 03D1C1A08-06 03D1C1A08-07 03D1C1A08-08 03D1C1A08-09 03D1C1A08-10 03D1C1A08-11 03D1C1A08-12 03D1C1A08-13 03D1C1A08-14 03D1C1A08-15 the tool begins C1A08 it/bin ecution 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 (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/LTLFireability.xml /formula_rewrite.k:337 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:550 /formula_rewrite.k:430 /formula_rewrite.k:328 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:314 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:314 /formula_rewrite.k:299 /formula_rewrite.k:317 /formula_rewrite.k:331 /formula_rewrite.k:299 /formula_rewrite.k:328 /formula_rewrite.k:299 /formula_rewrite.k:373 /formula_rewrite.k:430 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:299 /formula_rewrite.k:352 /formula_rewrite.k:376 /formula_rewrite.k:430 /formula_rewrite.k:370 /formula_rewrite.k:521 /formula_rewrite.k:421 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:550 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:379 /formula_rewrite.k:373 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:317 /formula_rewrite.k:340 /formula_rewrite.k:299 /formula_rewrite.k:299 /formula_rewrite.k:331 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:352 /formula_rewrite.k:352 /formula_rewrite.k:376 /formula_rewrite.k:376 /formula_rewrite.k:370 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:373 /formula_rewrite.k:250 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:535 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:317 /formula_rewrite.k:314 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:299 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:535 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:314 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:299 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:346 /formula_rewrite.k:433 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:433 /formula_rewrite.k:433 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:349 /formula_rewrite.k:352 /formula_rewrite.k:317 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:317 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:535 /formula_rewrite.k:379 /formula_rewrite.k:373 /formula_rewrite.k:314 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 1.000000 secs. removed,0 places removed VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 1.000000 secs. in 0.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 0 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 CONJ 0 0 0 0 0 0 0 0 AG 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 1.000000 secs. in 0.000000 secs. 36 (type CNST) for 33 ViralEpidemic-PT-S03D1C1A08-07 # 36 (type CNST) for ViralEpidemic-PT-S03D1C1A08-07 : false 19 (type CNST) for 16 ViralEpidemic-PT-S03D1C1A08-04 # 19 (type CNST) for ViralEpidemic-PT-S03D1C1A08-04 : false in 1.000000 secs. in 1.000000 secs. stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 4.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 4.000000 secs. in 3.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 CONJ 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 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 2.000000 secs. 82 (type SKEL/SRCH) for 47 ViralEpidemic-PT-S03D1C1A08-09 : 32000000 sec # 82 (type SKEL/SRCH) for ViralEpidemic-PT-S03D1C1A08-09 : true 6 5 0.000000 1 in 3.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 in 2.000000 secs. in 4.000000 secs. /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 85 (type SKEL/FNDP) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec 86 (type SKEL/EQUN) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec 87 (type SKEL/SRCH) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec 88 (type SKEL/SRCH) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec # 87 (type SKEL/SRCH) for ViralEpidemic-PT-S03D1C1A08-13 : true 10 9 0.000000 1 # 85 (type FNDP) for ViralEpidemic-PT-S03D1C1A08-13 (obsolete) # 86 (type EQUN) for ViralEpidemic-PT-S03D1C1A08-13 (obsolete) # 88 (type SRCH) for ViralEpidemic-PT-S03D1C1A08-13 (obsolete) /formula_rewrite.k:721 /formula_rewrite.k:788 # 85 (type SKEL/FNDP) for ViralEpidemic-PT-S03D1C1A08-13 : true 8 1 0.000000 0 file /home/mcc/execution/LTLFireability-86.sara. ordering is non-deterministic # 86 (type SKEL/EQUN) for ViralEpidemic-PT-S03D1C1A08-13 : true VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 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: 1 4 Visible: 16 in 4.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 0 0 1 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 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 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 92 (type EXCL) for 63 ViralEpidemic-PT-S03D1C1A08-13 90 (type FNDP) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec 91 (type EQUN) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec 93 (type SRCH) for 63 ViralEpidemic-PT-S03D1C1A08-13 : 32000000 sec /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 # 90 (type FNDP) for ViralEpidemic-PT-S03D1C1A08-13 : true 1 0.000000 0 /formula_rewrite.k:721 /formula_rewrite.k:788 # 91 (type EQUN) for ViralEpidemic-PT-S03D1C1A08-13 (obsolete) # 92 (type EXCL) for ViralEpidemic-PT-S03D1C1A08-13 (obsolete) # 93 (type SRCH) for ViralEpidemic-PT-S03D1C1A08-13 (obsolete) 97 (type EXCL) for 44 ViralEpidemic-PT-S03D1C1A08-08 95 (type FNDP) for 44 ViralEpidemic-PT-S03D1C1A08-08 : 32000000 sec 96 (type EQUN) for 44 ViralEpidemic-PT-S03D1C1A08-08 : 32000000 sec 98 (type SRCH) for 44 ViralEpidemic-PT-S03D1C1A08-08 : 32000000 sec # 93 (type SRCH) for ViralEpidemic-PT-S03D1C1A08-13 : unknown 0.000000 1 file /home/mcc/execution/LTLFireability-91.sara. /formula_rewrite.k:721 /formula_rewrite.k:787 # 98 (type SRCH) for ViralEpidemic-PT-S03D1C1A08-08 : unknown 0.000000 1 # 95 (type FNDP) for ViralEpidemic-PT-S03D1C1A08-08 : true 1 0.000000 0 # 96 (type EQUN) for ViralEpidemic-PT-S03D1C1A08-08 (obsolete) # 97 (type EXCL) for ViralEpidemic-PT-S03D1C1A08-08 (obsolete) # 97 (type EXCL) for ViralEpidemic-PT-S03D1C1A08-08 : true 0.000000 1 # 91 (type EQUN) for ViralEpidemic-PT-S03D1C1A08-13 : true file /home/mcc/execution/LTLFireability-96.sara. ordering is non-deterministic # 96 (type EQUN) for ViralEpidemic-PT-S03D1C1A08-08 : true VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 stopped (result already fixed). VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing AG false findpath AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 LTL 0 0 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 LTL 0 0 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 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 line 62: 476 Killed lola --conf=$BIN_DIR/configfiles/ltlfireabilityconf --formula=$DIR/LTLFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S03D1C1A08"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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