MCC'2021- Execution of r270-smll-162123877600341

About the Execution of LoLA for ViralEpidemic-PT-S16D2C4A03

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15350.712	1910518.00	2711557.00	5485.30	????F?F?F???????	normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory
/home/mcc/execution
total 101M
-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 101M May

--------------------
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 1621505774904

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

FORMULA ViralEpidemic-PT-S16D2C4A03-04

FORMULA ViralEpidemic-PT-S16D2C4A03-08

FORMULA ViralEpidemic-PT-S16D2C4A03-06

BK_STOP 1621507685422

--------------------
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: 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: 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: 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: RELEASE
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

Time elapsed: 1638 secs.
# running tasks: 0 of
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: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: CANCELED task
lola: CANCELED task
lola: CANCELED task
lola: LAUNCH INITIAL
lola: LAUNCH task #
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task
lola: result
lola: fired transitions :
lola: tried executions :
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
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
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: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1643 secs.
# running tasks: 0 of
lola: Created skeleton
lola: RELEASE
lola: planning for (null)
lola: planning for (null)
lola: planning for (null)
lola: planning for (null)
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1648 secs.
# running tasks: 0 of
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1653 secs.
# running tasks: 0 of
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 4/1946

Time elapsed: 1658 secs.
# running tasks: 1 of
lola: Created skeleton
lola: RELEASE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 9/1946

Time elapsed: 1663 secs.
# running tasks: 1 of
lola: Created skeleton
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 14/1946

Time elapsed: 1668 secs.
# running tasks: 1 of
lola: Created skeleton
lola: RELEASE
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 19/1946

Time elapsed: 1673 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 24/1946

Time elapsed: 1678 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 29/1946

Time elapsed: 1683 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 34/1946

Time elapsed: 1688 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 39/1946

Time elapsed: 1693 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 44/1946

Time elapsed: 1698 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 49/1946

Time elapsed: 1703 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 54/1946

Time elapsed: 1708 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 59/1946

Time elapsed: 1713 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 64/1946

Time elapsed: 1718 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 69/1946

Time elapsed: 1723 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 74/1946

Time elapsed: 1728 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 79/1946

Time elapsed: 1733 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 84/1946

Time elapsed: 1738 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 89/1946

Time elapsed: 1743 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 94/1946

Time elapsed: 1748 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 99/1946

Time elapsed: 1753 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 104/1946

Time elapsed: 1758 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 109/1946

Time elapsed: 1763 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 114/1946

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

lola: FINISHED task
lola: result
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 119/1946

Time elapsed: 1773 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 124/1946

Time elapsed: 1778 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 129/1946

Time elapsed: 1783 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 134/1946

Time elapsed: 1788 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 139/1946

Time elapsed: 1793 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 144/1946

Time elapsed: 1798 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 149/1946

Time elapsed: 1803 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 154/1946

Time elapsed: 1808 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 159/1946

Time elapsed: 1813 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE
87 LTL SRCH 164/1946

Time elapsed: 1818 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1823 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1828 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1833 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1838 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1843 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1848 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1853 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1858 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1863 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1868 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1873 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1878 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1883 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1888 secs.
# running tasks: 0 of
lola: planning for (null)
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1893 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1898 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1903 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S16D2C4A03-04:
ViralEpidemic-PT-S16D2C4A03-06:
ViralEpidemic-PT-S16D2C4A03-08:

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

TASK CATEGORY TYPE

Time elapsed: 1908 secs.
# running tasks: 0 of
/home/mcc/BenchKit/BenchKit_head.sh:
ut.r270-smll-162123877600341.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-162123877600341 ====================================== to be used: 20K May 5 16:58 CTLCardinality.txt 107K May 10 09:44 CTLCardinality.xml 16K May 5 16:58 CTLFireability.txt 81K May 10 09:44 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 4.2K Mar 28 16:48 LTLCardinality.txt 23K Mar 28 16:48 LTLCardinality.xml 2.9K Mar 28 16:48 LTLFireability.txt 18K Mar 28 16:48 LTLFireability.xml 4.7K Mar 27 15:38 ReachabilityCardinality.txt 19K Mar 27 15:38 ReachabilityCardinality.xml 3.5K Mar 26 06:42 ReachabilityFireability.txt 16K Mar 26 06:42 ReachabilityFireability.xml 2.0K Mar 22 08:17 UpperBounds.txt 4.0K Mar 22 08:17 UpperBounds.xml 6 May 5 16:52 equiv_col 11 May 5 16:52 instance 6 May 5 16:52 iscolored 5 16:52 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) 16D2C4A03-00 16D2C4A03-01 16D2C4A03-02 16D2C4A03-03 16D2C4A03-04 16D2C4A03-05 16D2C4A03-06 16D2C4A03-07 16D2C4A03-08 16D2C4A03-09 16D2C4A03-10 16D2C4A03-11 16D2C4A03-12 16D2C4A03-13 16D2C4A03-14 16D2C4A03-15 the tool begins C4A03 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 (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/LTLFireability.xml /formula_rewrite.k:370 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:314 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:379 /formula_rewrite.k:331 /formula_rewrite.k:328 /formula_rewrite.k:317 /formula_rewrite.k:334 /formula_rewrite.k:331 /formula_rewrite.k:299 /formula_rewrite.k:340 /formula_rewrite.k:299 /formula_rewrite.k:299 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:430 /formula_rewrite.k:433 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:379 /formula_rewrite.k:317 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:328 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:337 /formula_rewrite.k:334 /formula_rewrite.k:299 /formula_rewrite.k:296 /formula_rewrite.k:550 /formula_rewrite.k:376 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:253 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:317 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:299 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:535 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:250 /formula_rewrite.k:250 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:535 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:352 /formula_rewrite.k:355 /formula_rewrite.k:481 /formula_rewrite.k:433 /formula_rewrite.k:550 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:352 /formula_rewrite.k:436 /formula_rewrite.k:373 /formula_rewrite.k:355 /formula_rewrite.k:352 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:379 /formula_rewrite.k:379 /formula_rewrite.k:317 /formula_rewrite.k:337 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:535 in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 0.000000 secs. removed,0 places removed VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 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 F 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 1.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 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 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 F 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 4 Visible: 16 in 1.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 82 (type SKEL/FNDP) for 26 ViralEpidemic-PT-S16D2C4A03-06 : 32000000 sec 83 (type SKEL/EQUN) for 26 ViralEpidemic-PT-S16D2C4A03-06 : 32000000 sec 84 (type SKEL/SRCH) for 26 ViralEpidemic-PT-S16D2C4A03-06 : 32000000 sec 85 (type SKEL/SRCH) for 26 ViralEpidemic-PT-S16D2C4A03-06 : 32000000 sec # 85 (type SKEL/SRCH) for ViralEpidemic-PT-S16D2C4A03-06 : true 5 4 0.000000 1 /formula_rewrite.k:721 /formula_rewrite.k:788 # 82 (type FNDP) for ViralEpidemic-PT-S16D2C4A03-06 (obsolete) # 83 (type EQUN) for ViralEpidemic-PT-S16D2C4A03-06 (obsolete) # 84 (type SRCH) for ViralEpidemic-PT-S16D2C4A03-06 (obsolete) 15 (type CNST) for 12 ViralEpidemic-PT-S16D2C4A03-04 # 82 (type SKEL/FNDP) for ViralEpidemic-PT-S16D2C4A03-06 : true 3 1 0.000000 0 # 15 (type CNST) for ViralEpidemic-PT-S16D2C4A03-04 : false file /home/mcc/execution/LTLFireability-83.sara. ordering is non-deterministic # 83 (type SKEL/EQUN) for ViralEpidemic-PT-S16D2C4A03-06 : true in 1.000000 secs. 86 (type SKEL/SRCH) for 19 ViralEpidemic-PT-S16D2C4A03-05 : 32000000 sec # 86 (type SKEL/SRCH) for ViralEpidemic-PT-S16D2C4A03-05 : true 8 7 0.000000 1 in 0.000000 secs. 29 (type CNST) for 26 ViralEpidemic-PT-S16D2C4A03-06 # 29 (type CNST) for ViralEpidemic-PT-S16D2C4A03-06 : true 43 (type CNST) for 40 ViralEpidemic-PT-S16D2C4A03-08 # 43 (type CNST) for ViralEpidemic-PT-S16D2C4A03-08 : false in 1.000000 secs. in 1.000000 secs. in 0.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 in 1.000000 secs. stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). in 1.000000 secs. in 1.000000 secs. in 0.000000 secs. in 1.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 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 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 in 3.000000 secs. 87 (type SKEL/SRCH) for 67 ViralEpidemic-PT-S16D2C4A03-13 : 32000000 sec VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 228964 m, 45792 m/sec, 608682 t fired, . Pages in use: 1 4 Visible: 16 in 5.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 500128 m, 54232 m/sec, 1392222 t fired, . Pages in use: 1 4 Visible: 16 in 6.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 761279 m, 52230 m/sec, 2151888 t fired, . Pages in use: 1 4 Visible: 16 in 6.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 895906 m, 26925 m/sec, 2544979 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 1096629 m, 40144 m/sec, 3131661 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 1348920 m, 50458 m/sec, 3869830 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 1625564 m, 55328 m/sec, 4681304 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 1895119 m, 53911 m/sec, 5472314 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 2203889 m, 61754 m/sec, 6380026 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 2487223 m, 56666 m/sec, 7213238 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 2777343 m, 58024 m/sec, 8067525 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 3062226 m, 56976 m/sec, 8906250 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 3348803 m, 57315 m/sec, 9751028 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 3592259 m, 48691 m/sec, 10469108 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 3831216 m, 47791 m/sec, 11174200 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 4129146 m, 59586 m/sec, 12053520 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 4403477 m, 54866 m/sec, 12863344 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 4705008 m, 60306 m/sec, 13753629 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 4959316 m, 50861 m/sec, 14504530 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 5087560 m, 25648 m/sec, 14883166 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 5209374 m, 24362 m/sec, 15243341 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 5350977 m, 28320 m/sec, 15661947 t fired, . 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 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 5494227 m, 28650 m/sec, 16085446 t fired, . 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 91 (type EXCL) for 26 ViralEpidemic-PT-S16D2C4A03-06 89 (type FNDP) for 26 ViralEpidemic-PT-S16D2C4A03-06 : 32000000 sec 90 (type EQUN) for 26 ViralEpidemic-PT-S16D2C4A03-06 : 32000000 sec # 89 (type FNDP) for ViralEpidemic-PT-S16D2C4A03-06 : true 1 0.000000 0 # 90 (type EQUN) for ViralEpidemic-PT-S16D2C4A03-06 (obsolete) # 91 (type EXCL) for ViralEpidemic-PT-S16D2C4A03-06 (obsolete) /formula_rewrite.k:721 /formula_rewrite.k:788 file /home/mcc/execution/LTLFireability-90.sara. # 90 (type EQUN) for ViralEpidemic-PT-S16D2C4A03-06 : true VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 5727746 m, 46703 m/sec, 16776066 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 6011524 m, 56755 m/sec, 17614553 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 6295149 m, 56725 m/sec, 18453306 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 6583410 m, 57652 m/sec, 19306729 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 6867067 m, 56731 m/sec, 20145209 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 7150145 m, 56615 m/sec, 20983723 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 7448893 m, 59749 m/sec, 21867783 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S16D2C4A03-13 7728021 m, 55825 m/sec, 22693500 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/5 ViralEpidemic-PT-S16D2C4A03-13 8026952 m, 59786 m/sec, 23579138 t fired, . Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/5 ViralEpidemic-PT-S16D2C4A03-13 8330011 m, 60611 m/sec, 24476424 t fired, . Pages in use: 4 4 Visible: 16 # 87 (type SRCH) for ViralEpidemic-PT-S16D2C4A03-13 (memory limit exceeded) VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 stopped (result already fixed). VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false findpath CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 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 F 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 1 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 4 Visible: 16 line 62: 495 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-S16D2C4A03"
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-S16D2C4A03, 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-162123877600341"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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