MCC'2021- Execution of r270-smll-162123877400237

About the Execution of LoLA for ViralEpidemic-PT-S02D1C1A12

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16233.567	1259592.00	2044228.00	3308.10	??FFFT?????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-S02D1C1A12,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is
===============================

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

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

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

=== Now, execution of

BK_START 1621421940765

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

FORMULA ViralEpidemic-PT-S02D1C1A12-04

FORMULA ViralEpidemic-PT-S02D1C1A12-11

FORMULA ViralEpidemic-PT-S02D1C1A12-03

FORMULA ViralEpidemic-PT-S02D1C1A12-05

FORMULA ViralEpidemic-PT-S02D1C1A12-15

FORMULA ViralEpidemic-PT-S02D1C1A12-02

BK_STOP 1621423200357

--------------------
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: 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: 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: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
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-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

Time elapsed: 998 secs.
# running tasks: 0 of
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: LAUNCH INITIAL
lola: LAUNCH task #
lola: time limit : 0 sec
lola: memory limit: 0 pages
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: FINISHED task
lola: result
lola: Created skeleton
lola: RELEASE
lola: RELEASE
lola: Created skeleton
lola: planning for (null)
lola: planning for (null)
lola: planning for (null)
lola: planning for (null)
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: 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: NOTDEADLOCKFREE
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: NOTDEADLOCKFREE
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 3/2600
86 LTL SRCH 3/2600

Time elapsed: 1003 secs.
# running tasks: 2 of
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 8/2600
86 LTL SRCH 8/2600

Time elapsed: 1008 secs.
# running tasks: 2 of
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 13/2600
86 LTL SRCH 13/2600

Time elapsed: 1013 secs.
# running tasks: 2 of
lola: Created skeleton
lola: Created skeleton
lola: RELEASE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 18/2600
86 LTL SRCH 18/2600

Time elapsed: 1018 secs.
# running tasks: 2 of
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 23/2600
86 LTL SRCH 23/2600
87 LTL SRCH 1/2578

Time elapsed: 1023 secs.
# running tasks: 3 of
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 28/2600
86 LTL SRCH 28/2600
87 LTL SRCH 6/2578

Time elapsed: 1028 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 33/2600
86 LTL SRCH 33/2600
87 LTL SRCH 11/2578

Time elapsed: 1033 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 38/2600
86 LTL SRCH 38/2600
87 LTL SRCH 16/2578

Time elapsed: 1038 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 43/2600
86 LTL SRCH 43/2600
87 LTL SRCH 21/2578

Time elapsed: 1043 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 48/2600
86 LTL SRCH 48/2600
87 LTL SRCH 26/2578

Time elapsed: 1048 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 53/2600
86 LTL SRCH 53/2600
87 LTL SRCH 31/2578

Time elapsed: 1053 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 58/2600
86 LTL SRCH 58/2600
87 LTL SRCH 36/2578

Time elapsed: 1058 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 63/2600
86 LTL SRCH 63/2600
87 LTL SRCH 41/2578

Time elapsed: 1063 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 68/2600
86 LTL SRCH 68/2600
87 LTL SRCH 46/2578

Time elapsed: 1068 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 73/2600
86 LTL SRCH 73/2600
87 LTL SRCH 51/2578

Time elapsed: 1073 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 78/2600
86 LTL SRCH 78/2600
87 LTL SRCH 56/2578

Time elapsed: 1078 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 83/2600
86 LTL SRCH 83/2600
87 LTL SRCH 61/2578

Time elapsed: 1083 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 88/2600
86 LTL SRCH 88/2600
87 LTL SRCH 66/2578

Time elapsed: 1088 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 93/2600
86 LTL SRCH 93/2600
87 LTL SRCH 71/2578

Time elapsed: 1093 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 98/2600
86 LTL SRCH 98/2600
87 LTL SRCH 76/2578

Time elapsed: 1098 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 103/2600
86 LTL SRCH 103/2600
87 LTL SRCH 81/2578

Time elapsed: 1103 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 108/2600
86 LTL SRCH 108/2600
87 LTL SRCH 86/2578

Time elapsed: 1108 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 113/2600
86 LTL SRCH 113/2600
87 LTL SRCH 91/2578

Time elapsed: 1113 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:
ViralEpidemic-PT-S02D1C1A12-15:

TASK CATEGORY TYPE
85 LTL SRCH 118/2600
86 LTL SRCH 118/2600
87 LTL SRCH 96/2578

Time elapsed: 1118 secs.
# running tasks: 3 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 : 145 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
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 : 177 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 123/2600
86 LTL SRCH 123/2600
87 LTL SRCH 101/2578

Time elapsed: 1123 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 128/2600
86 LTL SRCH 128/2600
87 LTL SRCH 106/2578

Time elapsed: 1128 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 133/2600
86 LTL SRCH 133/2600
87 LTL SRCH 111/2578

Time elapsed: 1133 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 138/2600
86 LTL SRCH 138/2600
87 LTL SRCH 116/2578

Time elapsed: 1138 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 143/2600
86 LTL SRCH 143/2600
87 LTL SRCH 121/2578

Time elapsed: 1143 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 148/2600
86 LTL SRCH 148/2600
87 LTL SRCH 126/2578

Time elapsed: 1148 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 153/2600
86 LTL SRCH 153/2600
87 LTL SRCH 131/2578

Time elapsed: 1153 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 158/2600
86 LTL SRCH 158/2600
87 LTL SRCH 136/2578

Time elapsed: 1158 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 163/2600
86 LTL SRCH 163/2600
87 LTL SRCH 141/2578

Time elapsed: 1163 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 168/2600
86 LTL SRCH 168/2600
87 LTL SRCH 146/2578

Time elapsed: 1168 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 173/2600
86 LTL SRCH 173/2600
87 LTL SRCH 151/2578

Time elapsed: 1173 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 178/2600
86 LTL SRCH 178/2600
87 LTL SRCH 156/2578

Time elapsed: 1178 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 183/2600
86 LTL SRCH 183/2600
87 LTL SRCH 161/2578

Time elapsed: 1183 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 188/2600
86 LTL SRCH 188/2600
87 LTL SRCH 166/2578

Time elapsed: 1188 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 193/2600
86 LTL SRCH 193/2600
87 LTL SRCH 171/2578

Time elapsed: 1193 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 198/2600
86 LTL SRCH 198/2600
87 LTL SRCH 176/2578

Time elapsed: 1198 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 203/2600
86 LTL SRCH 203/2600
87 LTL SRCH 181/2578

Time elapsed: 1203 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 208/2600
86 LTL SRCH 208/2600
87 LTL SRCH 186/2578

Time elapsed: 1208 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 213/2600
86 LTL SRCH 213/2600
87 LTL SRCH 191/2578

Time elapsed: 1213 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 218/2600
86 LTL SRCH 218/2600
87 LTL SRCH 196/2578

Time elapsed: 1218 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 223/2600
86 LTL SRCH 223/2600
87 LTL SRCH 201/2578

Time elapsed: 1223 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 228/2600
86 LTL SRCH 228/2600
87 LTL SRCH 206/2578

Time elapsed: 1228 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 233/2600
86 LTL SRCH 233/2600
87 LTL SRCH 211/2578

Time elapsed: 1233 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 238/2600
86 LTL SRCH 238/2600
87 LTL SRCH 216/2578

Time elapsed: 1238 secs.
# running tasks: 3 of
lola: planning for (null)
lola: planning for (null)
lola: planning for ViralEpide
lola: planning for (null)
lola: planning for (null)
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 243/2600
86 LTL SRCH 243/2600
87 LTL SRCH 221/2578

Time elapsed: 1243 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 248/2600
86 LTL SRCH 248/2600
87 LTL SRCH 226/2578

Time elapsed: 1248 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 253/2600
86 LTL SRCH 253/2600
87 LTL SRCH 231/2578

Time elapsed: 1253 secs.
# running tasks: 3 of
FINISHED FORMULA: CATEGORY
ViralEpidemic-PT-S02D1C1A12-02:
ViralEpidemic-PT-S02D1C1A12-03:
ViralEpidemic-PT-S02D1C1A12-04:
ViralEpidemic-PT-S02D1C1A12-05:
ViralEpidemic-PT-S02D1C1A12-11:
ViralEpidemic-PT-S02D1C1A12-15:

PENDING FORMULAS: CATEGORY
ViralEpidemic-PT-S02D1C1A12-00:
ViralEpidemic-PT-S02D1C1A12-01:
ViralEpidemic-PT-S02D1C1A12-06:
ViralEpidemic-PT-S02D1C1A12-07:
ViralEpidemic-PT-S02D1C1A12-08:
ViralEpidemic-PT-S02D1C1A12-09:
ViralEpidemic-PT-S02D1C1A12-10:
ViralEpidemic-PT-S02D1C1A12-12:
ViralEpidemic-PT-S02D1C1A12-13:
ViralEpidemic-PT-S02D1C1A12-14:

TASK CATEGORY TYPE
85 LTL SRCH 258/2600
86 LTL SRCH 258/2600
87 LTL SRCH 236/2578

Time elapsed: 1258 secs.
# running tasks: 3 of
/home/mcc/BenchKit/BenchKit_head.sh:
ut.r270-smll-162123877400237.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-162123877400237 ====================================== to be used: 24K May 5 16:58 CTLCardinality.txt 117K May 10 09:44 CTLCardinality.xml 15K May 5 16:58 CTLFireability.txt 73K May 10 09:44 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 4.7K Mar 28 16:47 LTLCardinality.txt 26K Mar 28 16:47 LTLCardinality.xml 3.0K Mar 28 16:47 LTLFireability.txt 19K Mar 28 16:47 LTLFireability.xml 4.9K Mar 27 14:52 ReachabilityCardinality.txt 19K Mar 27 14:52 ReachabilityCardinality.xml 3.2K Mar 26 05:54 ReachabilityFireability.txt 13K Mar 26 05:54 ReachabilityFireability.xml 2.0K Mar 22 08:16 UpperBounds.txt 4.1K Mar 22 08:16 UpperBounds.xml 6 May 5 16:52 equiv_col 11 May 5 16:52 instance 6 May 5 16:52 iscolored 37M May 5 16:52 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) 02D1C1A12-00 02D1C1A12-01 02D1C1A12-02 02D1C1A12-03 02D1C1A12-04 02D1C1A12-05 02D1C1A12-06 02D1C1A12-07 02D1C1A12-08 02D1C1A12-09 02D1C1A12-10 02D1C1A12-11 02D1C1A12-12 02D1C1A12-13 02D1C1A12-14 02D1C1A12-15 the tool begins C1A12 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 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/LTLFireability.xml /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:430 /formula_rewrite.k:433 /formula_rewrite.k:436 /formula_rewrite.k:521 /formula_rewrite.k:328 /formula_rewrite.k:314 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:317 /formula_rewrite.k:328 /formula_rewrite.k:299 /formula_rewrite.k:314 /formula_rewrite.k:299 /formula_rewrite.k:299 /formula_rewrite.k:373 /formula_rewrite.k:427 /formula_rewrite.k:433 /formula_rewrite.k:355 /formula_rewrite.k:355 /formula_rewrite.k:250 /formula_rewrite.k:535 /formula_rewrite.k:535 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:352 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:250 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:535 /formula_rewrite.k:409 /formula_rewrite.k:352 /formula_rewrite.k:436 /formula_rewrite.k:521 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:314 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:433 /formula_rewrite.k:334 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:334 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:352 /formula_rewrite.k:349 /formula_rewrite.k:524 /formula_rewrite.k:521 /formula_rewrite.k:373 /formula_rewrite.k:334 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:299 /formula_rewrite.k:334 /formula_rewrite.k:317 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:421 /formula_rewrite.k:421 /formula_rewrite.k:424 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:421 /formula_rewrite.k:433 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:355 /formula_rewrite.k:337 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:535 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:352 /formula_rewrite.k:376 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:299 /formula_rewrite.k:334 /formula_rewrite.k:314 /formula_rewrite.k:299 /formula_rewrite.k:331 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:352 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:299 /formula_rewrite.k:314 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:544 /formula_rewrite.k:349 /formula_rewrite.k:544 /formula_rewrite.k:349 in 0.000000 secs. in 0.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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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 CONJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 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 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 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. in 0.000000 secs. in 1.000000 secs. 20 (type CNST) for 17 ViralEpidemic-PT-S02D1C1A12-03 27 (type CNST) for 24 ViralEpidemic-PT-S02D1C1A12-04 # 27 (type CNST) for ViralEpidemic-PT-S02D1C1A12-04 : false 56 (type CNST) for 53 ViralEpidemic-PT-S02D1C1A12-11 # 56 (type CNST) for ViralEpidemic-PT-S02D1C1A12-11 : false # 20 (type CNST) for ViralEpidemic-PT-S02D1C1A12-03 : false in 0.000000 secs. in 0.000000 secs. stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). in 1.000000 secs. 84 (type SKEL/SRCH) for 35 ViralEpidemic-PT-S02D1C1A12-05 : 32000000 sec # 84 (type SKEL/SRCH) for ViralEpidemic-PT-S02D1C1A12-05 : true 6 5 0.000000 1 in 0.000000 secs. 85 (type SKEL/SRCH) for 38 ViralEpidemic-PT-S02D1C1A12-06 : 32000000 sec 86 (type SKEL/SRCH) for 44 ViralEpidemic-PT-S02D1C1A12-08 : 32000000 sec in 1.000000 secs. in 2.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 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 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-S02D1C1A12-06 40869 m, 8173 m/sec, 153986 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 42248 m, 8449 m/sec, 167777 t fired, . Pages in use: 2 4 Visible: 16 in 1.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 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-S02D1C1A12-06 76578 m, 7141 m/sec, 321410 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 79049 m, 7360 m/sec, 328524 t fired, . Pages in use: 2 4 Visible: 16 in 4.000000 secs. in 3.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 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-S02D1C1A12-06 123599 m, 9404 m/sec, 505542 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 108948 m, 5979 m/sec, 462868 t fired, . Pages in use: 2 4 Visible: 16 in 2.000000 secs. in 3.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 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-S02D1C1A12-06 166803 m, 8640 m/sec, 721222 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 139128 m, 6036 m/sec, 607160 t fired, . Pages in use: 2 4 Visible: 16 in 2.000000 secs. in 2.000000 secs. in 2.000000 secs. 87 (type SKEL/SRCH) for 63 ViralEpidemic-PT-S02D1C1A12-13 : 32000000 sec VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 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-S02D1C1A12-06 211840 m, 9007 m/sec, 947388 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 167205 m, 5615 m/sec, 742294 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 4503 m, 900 m/sec, 12557 t fired, . Pages in use: 3 4 Visible: 16 in 2.000000 secs. VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 262999 m, 10231 m/sec, 1167027 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 200498 m, 6658 m/sec, 889612 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 46098 m, 8319 m/sec, 170040 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 318730 m, 11146 m/sec, 1396924 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 232785 m, 6457 m/sec, 1039739 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 85695 m, 7919 m/sec, 334656 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 365591 m, 9372 m/sec, 1611614 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 263152 m, 6073 m/sec, 1185931 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 122486 m, 7358 m/sec, 507470 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 399161 m, 6714 m/sec, 1811719 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 293513 m, 6072 m/sec, 1333714 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 157242 m, 6951 m/sec, 678592 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 435169 m, 7201 m/sec, 2024343 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 323103 m, 5918 m/sec, 1481157 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 186796 m, 5910 m/sec, 828361 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 478110 m, 8588 m/sec, 2237441 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 352795 m, 5938 m/sec, 1630658 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 213294 m, 5299 m/sec, 964109 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 527823 m, 9942 m/sec, 2492351 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 381589 m, 5758 m/sec, 1777963 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 251419 m, 7625 m/sec, 1102071 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 572192 m, 8873 m/sec, 2752364 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 405464 m, 4775 m/sec, 1901622 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 291241 m, 7964 m/sec, 1260589 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 630809 m, 11723 m/sec, 2988711 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 437461 m, 6399 m/sec, 2046503 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 326230 m, 6997 m/sec, 1415010 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 682728 m, 10383 m/sec, 3203535 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 467255 m, 5958 m/sec, 2183075 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 366071 m, 7968 m/sec, 1572651 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 733623 m, 10179 m/sec, 3418641 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 493718 m, 5292 m/sec, 2309435 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 399769 m, 6739 m/sec, 1734953 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 785003 m, 10276 m/sec, 3638156 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 519974 m, 5251 m/sec, 2438603 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 432337 m, 6513 m/sec, 1899532 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 828762 m, 8751 m/sec, 3854946 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 545455 m, 5096 m/sec, 2565532 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 470407 m, 7614 m/sec, 2060970 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 863853 m, 7018 m/sec, 4065091 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 570514 m, 5011 m/sec, 2690529 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 498915 m, 5701 m/sec, 2218436 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 898881 m, 7005 m/sec, 4280966 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 596564 m, 5210 m/sec, 2821077 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 529427 m, 6102 m/sec, 2372638 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 932415 m, 6706 m/sec, 4487979 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 620844 m, 4856 m/sec, 2944935 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 564062 m, 6927 m/sec, 2529803 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 968651 m, 7247 m/sec, 4701528 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 647449 m, 5321 m/sec, 3083870 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 589148 m, 5017 m/sec, 2669511 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1003064 m, 6882 m/sec, 4910597 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 676953 m, 5900 m/sec, 3233178 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 614930 m, 5156 m/sec, 2801554 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker 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 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1038963 m, 7179 m/sec, 5116022 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 705549 m, 5719 m/sec, 3382882 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 638686 m, 4751 m/sec, 2932136 t fired, . Pages in use: 3 4 Visible: 16 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 91 (type EXCL) for 73 ViralEpidemic-PT-S02D1C1A12-15 # 91 (type EXCL) for ViralEpidemic-PT-S02D1C1A12-15 : true 0.000000 1 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 96 (type EXCL) for 6 ViralEpidemic-PT-S02D1C1A12-02 # 96 (type EXCL) for ViralEpidemic-PT-S02D1C1A12-02 : true 0.000000 1 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1091601 m, 10527 m/sec, 5329695 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 734357 m, 5761 m/sec, 3532733 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 668361 m, 5935 m/sec, 3065830 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1139374 m, 9554 m/sec, 5576634 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 764375 m, 6003 m/sec, 3689104 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 696497 m, 5627 m/sec, 3222875 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1187237 m, 9572 m/sec, 5851838 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 792711 m, 5667 m/sec, 3838730 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 727146 m, 6129 m/sec, 3397278 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1229150 m, 8382 m/sec, 6128084 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 822866 m, 6031 m/sec, 3998324 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 759389 m, 6448 m/sec, 3560576 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1270926 m, 8355 m/sec, 6397304 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 850821 m, 5591 m/sec, 4144635 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 788087 m, 5739 m/sec, 3719934 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1320577 m, 9930 m/sec, 6649434 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 879584 m, 5752 m/sec, 4302378 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 820520 m, 6486 m/sec, 3879868 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1366683 m, 9221 m/sec, 6901611 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 913024 m, 6688 m/sec, 4453214 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 848954 m, 5686 m/sec, 4042456 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1425926 m, 11848 m/sec, 7157349 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 942750 m, 5945 m/sec, 4604258 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 875488 m, 5306 m/sec, 4200541 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1490283 m, 12871 m/sec, 7413040 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 975678 m, 6585 m/sec, 4753231 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 908149 m, 6532 m/sec, 4357624 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1538640 m, 9671 m/sec, 7673608 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1000153 m, 4895 m/sec, 4901700 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 939194 m, 6209 m/sec, 4518459 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1594864 m, 11244 m/sec, 7937026 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1025478 m, 5065 m/sec, 5058476 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 967280 m, 5617 m/sec, 4678564 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1658161 m, 12659 m/sec, 8191513 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1060145 m, 6933 m/sec, 5209879 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 995711 m, 5686 m/sec, 4834600 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1717589 m, 11885 m/sec, 8451040 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1093627 m, 6696 m/sec, 5370230 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1022310 m, 5319 m/sec, 4995633 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1761064 m, 8695 m/sec, 8708400 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1129098 m, 7094 m/sec, 5542939 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1052868 m, 6111 m/sec, 5156955 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1805680 m, 8923 m/sec, 8972263 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1156637 m, 5507 m/sec, 5708672 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1082756 m, 5977 m/sec, 5319762 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1860415 m, 10947 m/sec, 9223294 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1180944 m, 4861 m/sec, 5868882 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1107269 m, 4902 m/sec, 5473603 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1902845 m, 8486 m/sec, 9480590 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1204103 m, 4631 m/sec, 6027598 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1135947 m, 5735 m/sec, 5630860 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 1957110 m, 10853 m/sec, 9734700 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1226569 m, 4493 m/sec, 6179321 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1163241 m, 5458 m/sec, 5785123 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2020826 m, 12743 m/sec, 9994214 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1252070 m, 5100 m/sec, 6332013 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1188410 m, 5033 m/sec, 5938144 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2081870 m, 12208 m/sec, 10250016 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1284707 m, 6527 m/sec, 6491300 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1217336 m, 5785 m/sec, 6092016 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2143322 m, 12290 m/sec, 10512816 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1311162 m, 5291 m/sec, 6644764 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1245395 m, 5611 m/sec, 6247569 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2194061 m, 10147 m/sec, 10771563 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1344234 m, 6614 m/sec, 6788883 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1273001 m, 5521 m/sec, 6405046 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2237317 m, 8651 m/sec, 11032606 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1375334 m, 6220 m/sec, 6937433 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1301961 m, 5792 m/sec, 6562569 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2282470 m, 9030 m/sec, 11311286 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1411811 m, 7295 m/sec, 7092557 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1330666 m, 5741 m/sec, 6726658 t fired, . Pages in use: 4 4 Visible: 16 stopped (result already fixed). stopped (result already fixed). mic-PT-S02D1C1A12-05 stopped (result already fixed). stopped (result already fixed). stopped (result already fixed). VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2325884 m, 8682 m/sec, 11570974 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1447972 m, 7232 m/sec, 7248707 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1363945 m, 6655 m/sec, 6890452 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2391792 m, 13181 m/sec, 11961156 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1503767 m, 11159 m/sec, 7510639 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1436846 m, 14580 m/sec, 7174692 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2489848 m, 19611 m/sec, 12404885 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1573057 m, 13858 m/sec, 7828809 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1502652 m, 13161 m/sec, 7487869 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space CONJ false preprocessing CONJ false preprocessing LTL true skeleton: LTL model checker CONJ false preprocessing CONJ false state space 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 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 F 0 0 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 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 ViralEpidemic-PT-S02D1C1A12-06 2550111 m, 12052 m/sec, 12755518 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-08 1622071 m, 9802 m/sec, 8063879 t fired, . 1/5 ViralEpidemic-PT-S02D1C1A12-13 1549065 m, 9282 m/sec, 7722838 t fired, . Pages in use: 4 4 Visible: 16 line 62: 411 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-S02D1C1A12"
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-S02D1C1A12, 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-162123877400237"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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