MCC'2021- Execution of r308-tall-162132104400189

About the Execution of LoLA for ServersAndClients-PT-200320

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15715.151	912687.00	1673018.00	2044.80	?FFF?FF?F??F?F?F	normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory
/home/mcc/execution
total 123M
-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
-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 ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-
FORMULA_NAME ServersAndClients-

=== Now, execution of

BK_START 1621360659028

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

FORMULA ServersAndClients-PT-200320-01

FORMULA ServersAndClients-PT-200320-06

FORMULA ServersAndClients-PT-200320-03

FORMULA ServersAndClients-PT-200320-13

FORMULA ServersAndClients-PT-200320-02

FORMULA ServersAndClients-PT-200320-15

FORMULA ServersAndClients-PT-200320-08

FORMULA ServersAndClients-PT-200320-11

FORMULA ServersAndClients-PT-200320-05

BK_STOP 1621361571715

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

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

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

TASK CATEGORY TYPE

Time elapsed: 651 secs.
# running tasks: 0 of
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: CANCELED task
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
lola: Created skeleton
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 656 secs.
# running tasks: 0 of
lola: LAUNCH INITIAL
lola: LAUNCH task #
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task
lola: result
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: CANCELED task
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: planning for (null)
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 661 secs.
# running tasks: 0 of
lola: Created skeleton
lola: RELEASE
lola: Created skeleton
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 666 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 671 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 676 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 681 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 686 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 691 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 696 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 701 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 706 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 711 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 716 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 721 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 726 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 731 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 736 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 741 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 746 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 751 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 756 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 761 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 766 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 771 secs.
# running tasks: 0 of
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit : 148 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:

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

TASK CATEGORY TYPE

Time elapsed: 776 secs.
# running tasks: 0 of
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit : 156 sec
lola: memory limit: 32 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: LAUNCH task #
lola: time limit : 165 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
lola: 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 : 176 sec
lola: memory limit: 32 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: CANCELED task
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-13:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:
ServersAndClients-PT-200320-15:

TASK CATEGORY TYPE

Time elapsed: 781 secs.
# running tasks: 0 of
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
sara: try reading problem
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
sara: place or transition

lola: LAUNCH task #
lola: time limit : 187 sec
lola: memory limit: 32 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
lola: LAUNCH task #
lola: time limit : 216 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 786 secs.
# running tasks: 0 of
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit : 255 sec
lola: memory limit: 32 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task #
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
lola: planning for (null)
lola: LAUNCH task #
lola: time limit : 312 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 791 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 796 secs.
# running tasks: 0 of
lola: LAUNCH task #
lola: time limit : 350 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 801 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 806 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 811 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 816 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 821 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 826 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 831 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 836 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 842 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 847 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 852 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 857 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 862 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 867 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 872 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 877 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 882 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 887 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 892 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 897 secs.
# running tasks: 0 of
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 902 secs.
# running tasks: 0 of
lola: planning for (null)
lola: planning for (null)
FINISHED FORMULA: CATEGORY
ServersAndClients-PT-200320-01:
ServersAndClients-PT-200320-02:
ServersAndClients-PT-200320-03:
ServersAndClients-PT-200320-05:
ServersAndClients-PT-200320-06:
ServersAndClients-PT-200320-08:
ServersAndClients-PT-200320-11:
ServersAndClients-PT-200320-13:
ServersAndClients-PT-200320-15:

PENDING FORMULAS: CATEGORY
ServersAndClients-PT-200320-00:
ServersAndClients-PT-200320-04:
ServersAndClients-PT-200320-07:
ServersAndClients-PT-200320-09:
ServersAndClients-PT-200320-10:
ServersAndClients-PT-200320-12:
ServersAndClients-PT-200320-14:

TASK CATEGORY TYPE

Time elapsed: 907 secs.
# running tasks: 0 of
lola: memory allocation failed
/home/mcc/BenchKit/BenchKit_head.sh:
ut.r308-tall-162132104400189.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off be ready (probing ssh) ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ============================================================ examination is LTLFireability 3600 seconds is 16384 MBytes r308-tall-162132104400189 ====================================== to be used: 19K May 15 08:57 CTLCardinality.txt 135K May 15 08:57 CTLCardinality.xml 14K May 15 08:57 CTLFireability.txt 90K May 15 08:57 CTLFireability.xml 3.9K May 12 08:02 LTLCardinality.txt 25K May 12 08:02 LTLCardinality.xml 2.3K May 12 08:02 LTLFireability.txt 15K May 12 08:02 LTLFireability.xml 1 May 12 08:13 NewModel 3.2K May 11 20:29 ReachabilityCardinality.txt 15K May 11 20:29 ReachabilityCardinality.xml 3.0K May 11 17:32 ReachabilityFireability.txt 17K May 11 17:32 ReachabilityFireability.xml 1.5K May 12 04:43 UpperBounds.txt 3.5K May 12 04:43 UpperBounds.xml 6 May 12 08:13 equiv_col 7 May 12 08:13 instance 6 May 12 08:13 iscolored 123M May 12 08:13 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) PT-200320-00 PT-200320-01 PT-200320-02 PT-200320-03 PT-200320-04 PT-200320-05 PT-200320-06 PT-200320-07 PT-200320-08 PT-200320-09 PT-200320-10 PT-200320-11 PT-200320-12 PT-200320-13 PT-200320-14 PT-200320-15 the tool begins 00320 it/bin ecution FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--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:346 /formula_rewrite.k:418 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:409 /formula_rewrite.k:535 /formula_rewrite.k:150 /formula_rewrite.k:352 /formula_rewrite.k:317 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:334 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:535 /formula_rewrite.k:535 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:314 /formula_rewrite.k:340 /formula_rewrite.k:299 /formula_rewrite.k:299 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:352 /formula_rewrite.k:376 /formula_rewrite.k:376 /formula_rewrite.k:328 /formula_rewrite.k:331 /formula_rewrite.k:314 /formula_rewrite.k:299 /formula_rewrite.k:334 /formula_rewrite.k:299 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:521 /formula_rewrite.k:349 /formula_rewrite.k:544 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:427 /formula_rewrite.k:346 /formula_rewrite.k:355 /formula_rewrite.k:352 /formula_rewrite.k:524 /formula_rewrite.k:355 /formula_rewrite.k:524 /formula_rewrite.k:314 /formula_rewrite.k:296 /formula_rewrite.k:334 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:334 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:355 /formula_rewrite.k:436 /formula_rewrite.k:521 /formula_rewrite.k:544 in 1.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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 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 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 70 (type SKEL/FNDP) for 30 ServersAndClients-PT-200320-06 : 32000000 sec 71 (type SKEL/EQUN) for 30 ServersAndClients-PT-200320-06 : 32000000 sec 72 (type SKEL/SRCH) for 30 ServersAndClients-PT-200320-06 : 32000000 sec 73 (type SKEL/SRCH) for 30 ServersAndClients-PT-200320-06 : 32000000 sec # 72 (type SKEL/SRCH) for ServersAndClients-PT-200320-06 : true 2 1 0.000000 1 # 70 (type FNDP) for ServersAndClients-PT-200320-06 (obsolete) # 71 (type EQUN) for ServersAndClients-PT-200320-06 (obsolete) # 73 (type SRCH) for ServersAndClients-PT-200320-06 (obsolete) /formula_rewrite.k:721 # 70 (type SKEL/FNDP) for ServersAndClients-PT-200320-06 : true 1 0.000000 0 /formula_rewrite.k:788 file /home/mcc/execution/LTLFireability-71.sara. ordering is non-deterministic # 71 (type SKEL/EQUN) for ServersAndClients-PT-200320-06 : true in 0.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 6 (type CNST) for 3 ServersAndClients-PT-200320-01 # 6 (type CNST) for ServersAndClients-PT-200320-01 : false in 1.000000 secs. /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 76 (type SKEL/FNDP) for 36 ServersAndClients-PT-200320-08 : 32000000 sec 77 (type SKEL/EQUN) for 36 ServersAndClients-PT-200320-08 : 32000000 sec 78 (type SKEL/SRCH) for 36 ServersAndClients-PT-200320-08 : 32000000 sec 79 (type SKEL/SRCH) for 36 ServersAndClients-PT-200320-08 : 32000000 sec # 78 (type SKEL/SRCH) for ServersAndClients-PT-200320-08 : true 3 2 0.000000 1 # 76 (type FNDP) for ServersAndClients-PT-200320-08 (obsolete) # 77 (type EQUN) for ServersAndClients-PT-200320-08 (obsolete) # 79 (type SRCH) for ServersAndClients-PT-200320-08 (obsolete) /formula_rewrite.k:721 /formula_rewrite.k:788 # 76 (type SKEL/FNDP) for ServersAndClients-PT-200320-08 : true 1 1 0.000000 0 file /home/mcc/execution/LTLFireability-77.sara. ordering is non-deterministic # 77 (type SKEL/EQUN) for ServersAndClients-PT-200320-08 : true in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. stopped (result already fixed). in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 1.000000 secs. VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 AG 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 in 2.000000 secs. in 3.000000 secs. VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 /formula_rewrite.k:749 /formula_rewrite.k:788 80 (type EXCL) for 10 ServersAndClients-PT-200320-02 # 80 (type EXCL) for ServersAndClients-PT-200320-02 : false 1 0.000000 1 VALUE PRODUCED BY CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 3 0 0 1 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 AG 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 4 Visible: 16 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 /formula_rewrite.k:721 /formula_rewrite.k:788 84 (type EXCL) for 30 ServersAndClients-PT-200320-06 82 (type FNDP) for 30 ServersAndClients-PT-200320-06 : 32000000 sec 83 (type EQUN) for 30 ServersAndClients-PT-200320-06 : 32000000 sec 85 (type SRCH) for 30 ServersAndClients-PT-200320-06 : 32000000 sec /formula_rewrite.k:721 /formula_rewrite.k:788 # 85 (type SRCH) for ServersAndClients-PT-200320-06 : unknown 0.000000 1 # 84 (type EXCL) for ServersAndClients-PT-200320-06 : true 2 1 0.000000 1 # 82 (type FNDP) for ServersAndClients-PT-200320-06 (obsolete) # 83 (type EQUN) for ServersAndClients-PT-200320-06 (obsolete) 22 (type EXCL) for 21 ServersAndClients-PT-200320-03 # 82 (type FNDP) for ServersAndClients-PT-200320-06 : true 1 0.000000 0 # 22 (type EXCL) for ServersAndClients-PT-200320-03 : false 5 5 0.000000 1 file /home/mcc/execution/LTLFireability-83.sara. ordering is non-deterministic # 83 (type EQUN) for ServersAndClients-PT-200320-06 : true /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 89 (type EXCL) for 55 ServersAndClients-PT-200320-13 87 (type FNDP) for 55 ServersAndClients-PT-200320-13 : 32000000 sec 88 (type EQUN) for 55 ServersAndClients-PT-200320-13 : 32000000 sec 90 (type SRCH) for 55 ServersAndClients-PT-200320-13 : 32000000 sec /formula_rewrite.k:721 /formula_rewrite.k:787 # 89 (type EXCL) for ServersAndClients-PT-200320-13 : true 0.000000 1 # 87 (type FNDP) for ServersAndClients-PT-200320-13 (obsolete) # 88 (type EQUN) for ServersAndClients-PT-200320-13 (obsolete) # 90 (type SRCH) for ServersAndClients-PT-200320-13 (obsolete) VALUE PRODUCED BY CONJ false preprocessing LTL false LTL model checker AG false state space AG false state space IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 0 LTL 0 0 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 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 # 90 (type SRCH) for ServersAndClients-PT-200320-13 : unknown 1.000000 1 # 87 (type FNDP) for ServersAndClients-PT-200320-13 : true 1 1.000000 0 file /home/mcc/execution/LTLFireability-88.sara. /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 /formula_rewrite.k:721 /formula_rewrite.k:787 ordering is non-deterministic 94 (type EXCL) for 10 ServersAndClients-PT-200320-02 92 (type FNDP) for 10 ServersAndClients-PT-200320-02 : 32000000 sec 93 (type EQUN) for 10 ServersAndClients-PT-200320-02 : 32000000 sec 95 (type SRCH) for 10 ServersAndClients-PT-200320-02 : 32000000 sec /formula_rewrite.k:721 /formula_rewrite.k:787 # 95 (type SRCH) for ServersAndClients-PT-200320-02 : unknown 0.000000 1 # 94 (type EXCL) for ServersAndClients-PT-200320-02 : true 1.000000 1 # 92 (type FNDP) for ServersAndClients-PT-200320-02 (obsolete) # 93 (type EQUN) for ServersAndClients-PT-200320-02 (obsolete) # 92 (type FNDP) for ServersAndClients-PT-200320-02 : true 1 0.000000 0 # 88 (type EQUN) for ServersAndClients-PT-200320-13 : true file /home/mcc/execution/LTLFireability-93.sara. ordering is non-deterministic # 93 (type EQUN) for ServersAndClients-PT-200320-02 : true 64 (type EXCL) for 61 ServersAndClients-PT-200320-15 # 64 (type EXCL) for ServersAndClients-PT-200320-15 : false 5 5 0.000000 1 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker AG false state space AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 4 0 0 1 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 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 99 (type EXCL) for 36 ServersAndClients-PT-200320-08 97 (type FNDP) for 36 ServersAndClients-PT-200320-08 : 32000000 sec 98 (type EQUN) for 36 ServersAndClients-PT-200320-08 : 32000000 sec 100 (type SRCH) for 36 ServersAndClients-PT-200320-08 : 32000000 sec # 100 (type SRCH) for ServersAndClients-PT-200320-08 : unknown 0.000000 1 # 97 (type FNDP) for ServersAndClients-PT-200320-08 : true 1 0.000000 0 # 98 (type EQUN) for ServersAndClients-PT-200320-08 (obsolete) # 99 (type EXCL) for ServersAndClients-PT-200320-08 (obsolete) /formula_rewrite.k:721 /formula_rewrite.k:787 file /home/mcc/execution/LTLFireability-98.sara. ordering is non-deterministic # 98 (type EQUN) for ServersAndClients-PT-200320-08 : true stopped (result already fixed). 50 (type EXCL) for 49 ServersAndClients-PT-200320-11 # 50 (type EXCL) for ServersAndClients-PT-200320-11 : false 5 5 0.000000 1 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 28 (type EXCL) for 27 ServersAndClients-PT-200320-05 # 28 (type EXCL) for ServersAndClients-PT-200320-05 : false 616 1224 0.000000 1 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 stopped (result already fixed). stopped (result already fixed). VALUE PRODUCED BY CONJ false preprocessing CONJ false state space LTL false LTL model checker LTL false LTL model checker AG false state space CONJ false findpath LTL false LTL model checker AG false state space CONJ false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 2 4 Visible: 16 line 62: 416 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="ServersAndClients-PT-200320"
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 ServersAndClients-PT-200320, 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 r308-tall-162132104400189"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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