MCC'2023- Execution of r358-smll-167891807800427

About the Execution of LoLA for SemanticWebServices-PT-S256P09

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16223.544	240701.00	237829.00	13546.70	TFF?FF?T??T??T?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/mcc2023-input.r358-smll-16789
Waiting for the VM to be ready (probing ssh)
.................................................
===========================
Generated by BenchKit 2-5348
Executing tool lola
Input is SemanticWebServices-PT-S256P09,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r358-smll-167891807800427
=================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:21
-rw-r--r-- 1 mcc users 68K Feb 26 10:21
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:20
-rw-r--r-- 1 mcc users 43K Feb 26 10:20
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51
-rw-r--r-- 1 mcc users 22K Feb 25 16:51
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51
-rw-r--r-- 1 mcc users 16K Feb 25 16:51
-rw-r--r-- 1 mcc users 14K Feb 26 10:23
-rw-r--r-- 1 mcc users 148K Feb 26 10:23
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:22
-rw-r--r-- 1 mcc users 44K Feb 26 10:22
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51
-rw-r--r-- 1 mcc users 6 Mar 5 18:23
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23
-rw-r--r-- 1 mcc users 32M Mar 5 18:23

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

=== Data for post analysis generated by

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa
FORMULA_NAME SemanticWebServices-PT-S256P09-LTLCa

=== Now, execution of the tool begins

BK_START 1679129119232

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P09
Not applying reductions.
Model is PT
LTLCardinality PT
starting LoLA
BK_INPUT SemanticWebServices-PT-S256P09
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bi
current directory: /home/mcc/execution
LTLCardinality

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-04

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-15

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-10

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-01

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-02

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-05

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-13

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-07

FORMULA SemanticWebServices-PT-S256P09-LTLCardinality-00

BK_STOP 1679129359933

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/mode
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 17 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 47 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 62 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 17 (type CNST) for
lola: result : false
lola: FINISHED task # 62 (type CNST) for
lola: result : false
lola: FINISHED task # 47 (type CNST) for
lola: result : true
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 12 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 19423 transitions removed,59
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 6 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 6 (type CNST) for
lola: result : false
lola: planning for (null) stopped (result
lola: LAUNCH task # 26 (type EXCL) for
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: LAUNCH task # 66 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 69 (type SRCH) for
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 66 (type FNDP) for
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 67 (type EQUN) for
lola: FINISHED task # 67 (type EQUN) for
lola: result : unknown
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
26 LTL EXCL 2/256 5/32

Time elapsed: 17 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: LAUNCH task # 71 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 72 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 71 (type FNDP) for
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 26 (type EXCL) for
lola: CANCELED task # 72 (type EQUN) for
lola: CANCELED task # 74 (type SRCH) for
lola: LAUNCH task # 59 (type EXCL) for
lola: time limit : 358 sec
lola: memory limit: 32 pages
lola: FINISHED task # 74 (type SRCH) for
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/executio
sara: place or transition ordering is non-determi

lola: FINISHED task # 72 (type EQUN) for
lola: result : true
lola: planning for (null) stopped (result
lola: planning for (null) stopped (result
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 5/358 4/32

Time elapsed: 22 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 10/358 8/32

Time elapsed: 27 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 15/358 11/32

Time elapsed: 32 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 20/358 15/32

Time elapsed: 37 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 25/358 18/32

Time elapsed: 42 secs. Pages in use: 18
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 30/358 22/32

Time elapsed: 47 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 35/358 26/32

Time elapsed: 52 secs. Pages in use: 26
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
59 LTL EXCL 40/358 29/32

Time elapsed: 57 secs. Pages in use: 29
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 59 (type EXCL) for
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 62 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 56 (type EXCL) for
lola: time limit : 393 sec
lola: memory limit: 32 pages
lola: FINISHED task # 56 (type EXCL) for
lola: result : true
lola: markings : 354
lola: fired transitions : 353
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 44 (type EXCL) for
lola: time limit : 442 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 5/442 4/32

Time elapsed: 67 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 10/442 8/32

Time elapsed: 72 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 15/442 12/32

Time elapsed: 77 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 20/442 15/32

Time elapsed: 82 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 25/442 19/32

Time elapsed: 87 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 30/442 23/32

Time elapsed: 92 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 35/442 26/32

Time elapsed: 97 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
44 LTL EXCL 40/442 30/32

Time elapsed: 102 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 44 (type EXCL) for
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 107 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 41 (type EXCL) for
lola: time limit : 499 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 5/499 4/32

Time elapsed: 112 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 10/499 7/32

Time elapsed: 117 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 15/499 10/32

Time elapsed: 122 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 20/499 13/32

Time elapsed: 127 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 25/499 16/32

Time elapsed: 132 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 30/499 18/32

Time elapsed: 137 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 36/499 21/32

Time elapsed: 143 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 41/499 22/32

Time elapsed: 148 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 46/499 24/32

Time elapsed: 153 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 51/499 26/32

Time elapsed: 158 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 56/499 27/32

Time elapsed: 163 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 61/499 29/32

Time elapsed: 168 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 66/499 31/32

Time elapsed: 173 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
41 LTL EXCL 71/499 32/32

Time elapsed: 178 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 41 (type EXCL) for
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 183 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 38 (type EXCL) for
lola: time limit : 569 sec
lola: memory limit: 32 pages
lola: FINISHED task # 38 (type EXCL) for
lola: result : true
lola: markings : 61666
lola: fired transitions : 124959
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 1 (type EXCL) for
lola: time limit : 683 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type EXCL) for
lola: result : true
lola: markings : 693
lola: fired transitions : 692
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 64 (type EXCL) for
lola: time limit : 853 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
64 EG EXCL 3/853 4/32

Time elapsed: 188 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
64 EG EXCL 8/853 9/32

Time elapsed: 193 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
64 EG EXCL 13/853 18/32

Time elapsed: 198 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
64 EG EXCL 18/853 29/32

Time elapsed: 203 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 64 (type EXCL) for
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 208 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 50 (type EXCL) for
lola: time limit : 1130 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
50 LTL EXCL 5/1130 15/32

Time elapsed: 213 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
50 LTL EXCL 10/1130 28/32

Time elapsed: 218 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 50 (type EXCL) for
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA

Time elapsed: 223 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 35 (type EXCL) for
lola: time limit : 1688 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
35 LTL EXCL 5/1688 15/32

Time elapsed: 228 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
35 LTL EXCL 10/1688 25/32

Time elapsed: 233 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-00:
SemanticWebServices-PT-S256P09-LTLCardinality-01:
SemanticWebServices-PT-S256P09-LTLCardinality-02:
SemanticWebServices-PT-S256P09-LTLCardinality-04: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-05:
SemanticWebServices-PT-S256P09-LTLCardinality-07:
SemanticWebServices-PT-S256P09-LTLCardinality-10: INITIAL
SemanticWebServices-PT-S256P09-LTLCardinality-13: LTL/CTL
SemanticWebServices-PT-S256P09-LTLCardinality-15: INITIAL

PENDING FORMULAS: CATEGORY
SemanticWebServices-PT-S256P09-LTLCardinality-03:
SemanticWebServices-PT-S256P09-LTLCardinality-06:
SemanticWebServices-PT-S256P09-LTLCardinality-08:
SemanticWebServices-PT-S256P09-LTLCardinality-09:
SemanticWebServices-PT-S256P09-LTLCardinality-11:
SemanticWebServices-PT-S256P09-LTLCardinality-12:
SemanticWebServices-PT-S256P09-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
35 LTL EXCL 16/1688 25/32

Time elapsed: 239 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh:
1807800427.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ========================================== examination is LTLCardinality ==================== CTLCardinality.txt CTLCardinality.xml CTLFireability.txt CTLFireability.xml LTLCardinality.txt LTLCardinality.xml LTLFireability.txt LTLFireability.xml ReachabilityCardinality.txt ReachabilityCardinality.xml ReachabilityFireability.txt ReachabilityFireability.xml UpperBounds.txt UpperBounds.xml equiv_col iscolored model.pnml BenchKit (invocation template) vector(from text file) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N n/ FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT l.pnml .pnml LTLCardinality.xml :98 :337 :331 :296 :296 :334 :314 :296 :340 :328 :299 :299 :535 :150 :421 :352 :98 :165 :278 :156 :281 :153 :278 :150 :331 :296 :250 :250 :250 :521 :544 :544 :349 :544 :96 :144 :184 :424 :352 :334 :296 :355 :253 :527 :98 :98 :153 :334 :278 :144 :120 :141 :352 :349 :98 :159 :153 :150 :337 :296 :296 :436 :521 :421 :373 :331 :328 :314 :331 :296 :317 :296 :296 :314 :296 :328 :331 :317 :328 :299 :314 :299 :299 :98 :352 :159 :337 :296 :296 :352 :352 :352 :352 :352 :349 :484 :96 :162 :116 :150 16 SemanticWebServices-PT-S256P09-LTLCardinality-04 46 SemanticWebServices-PT-S256P09-LTLCardinality-10 61 SemanticWebServices-PT-S256P09-LTLCardinality-15 SemanticWebServices-PT-S256P09-LTLCardinality-04 SemanticWebServices-PT-S256P09-LTLCardinality-15 SemanticWebServices-PT-S256P09-LTLCardinality-10 VALUE PRODUCED BY false preprocessing true preprocessing 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 1 0 0 0 AG 0 0 0 0 1 0 0 0 F 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 0 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 LTL 0 0 0 0 0 0 0 0 STATUS places removed 3 SemanticWebServices-PT-S256P09-LTLCardinality-01 SemanticWebServices-PT-S256P09-LTLCardinality-01 already fixed). 19 SemanticWebServices-PT-S256P09-LTLCardinality-05 :749 :787 :721 :787 :721 :787 :721 :787 10 SemanticWebServices-PT-S256P09-LTLCardinality-02 10 SemanticWebServices-PT-S256P09-LTLCardinality-02 10 SemanticWebServices-PT-S256P09-LTLCardinality-02 :721 :787 SemanticWebServices-PT-S256P09-LTLCardinality-02 SemanticWebServices-PT-S256P09-LTLCardinality-02 SemanticWebServices-PT-S256P09-LTLCardinality-02 (obsolete) SemanticWebServices-PT-S256P09-LTLCardinality-02 VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 4 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-05 397835 m, 79567 m/sec, 397835 t fired, . :721 :787 :721 :787 :721 :787 19 SemanticWebServices-PT-S256P09-LTLCardinality-05 19 SemanticWebServices-PT-S256P09-LTLCardinality-05 19 SemanticWebServices-PT-S256P09-LTLCardinality-05 :721 :787 SemanticWebServices-PT-S256P09-LTLCardinality-05 SemanticWebServices-PT-S256P09-LTLCardinality-05 (obsolete) SemanticWebServices-PT-S256P09-LTLCardinality-05 (obsolete) SemanticWebServices-PT-S256P09-LTLCardinality-05 (obsolete) 58 SemanticWebServices-PT-S256P09-LTLCardinality-14 SemanticWebServices-PT-S256P09-LTLCardinality-05 n/LTLCardinality-72.sara. nistic SemanticWebServices-PT-S256P09-LTLCardinality-05 already fixed). already fixed). VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 400530 m, 80106 m/sec, 400529 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 838139 m, 87521 m/sec, 838138 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 1274790 m, 87330 m/sec, 1274789 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 1710188 m, 87079 m/sec, 1710188 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 2141545 m, 86271 m/sec, 2141544 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 2571290 m, 85949 m/sec, 2571289 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 3002400 m, 86222 m/sec, 3002400 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-14 3431030 m, 85726 m/sec, 3431029 t fired, . SemanticWebServices-PT-S256P09-LTLCardinality-14 (memory limit exceeded) VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS 55 SemanticWebServices-PT-S256P09-LTLCardinality-13 SemanticWebServices-PT-S256P09-LTLCardinality-13 43 SemanticWebServices-PT-S256P09-LTLCardinality-09 VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 447644 m, 89528 m/sec, 447643 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 892567 m, 88984 m/sec, 892567 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 1335082 m, 88503 m/sec, 1335081 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 1775495 m, 88082 m/sec, 1775495 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 2214827 m, 87866 m/sec, 2214827 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 2655098 m, 88054 m/sec, 2655097 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 3094308 m, 87842 m/sec, 3094307 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-09 3533637 m, 87865 m/sec, 3533636 t fired, . SemanticWebServices-PT-S256P09-LTLCardinality-09 (memory limit exceeded) VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS 40 SemanticWebServices-PT-S256P09-LTLCardinality-08 VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 434451 m, 86890 m/sec, 434450 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 861761 m, 85462 m/sec, 861760 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 1286866 m, 85021 m/sec, 1286865 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 1709707 m, 84568 m/sec, 1709706 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 2128917 m, 83842 m/sec, 2128917 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 2405385 m, 55293 m/sec, 2405385 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 2712494 m, 61421 m/sec, 2712493 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 2944820 m, 46465 m/sec, 2944819 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 3143560 m, 39748 m/sec, 3143559 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 3390276 m, 49343 m/sec, 3390275 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 3571947 m, 36334 m/sec, 3571947 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 3870871 m, 59784 m/sec, 3870870 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 4062969 m, 38419 m/sec, 4062969 t fired, . VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-08 4279358 m, 43277 m/sec, 4279357 t fired, . SemanticWebServices-PT-S256P09-LTLCardinality-08 (memory limit exceeded) VALUE PRODUCED BY CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS 37 SemanticWebServices-PT-S256P09-LTLCardinality-07 SemanticWebServices-PT-S256P09-LTLCardinality-07 0 SemanticWebServices-PT-S256P09-LTLCardinality-00 SemanticWebServices-PT-S256P09-LTLCardinality-00 13 SemanticWebServices-PT-S256P09-LTLCardinality-03 VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-03 511657 m, 102331 m/sec, 511657 t fired, . VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-03 1346059 m, 166880 m/sec, 1346059 t fired, . VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-03 2651715 m, 261131 m/sec, 2651715 t fired, . VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-03 4304930 m, 330643 m/sec, 4304930 t fired, . SemanticWebServices-PT-S256P09-LTLCardinality-03 (memory limit exceeded) VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS 49 SemanticWebServices-PT-S256P09-LTLCardinality-11 VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-11 1490432 m, 298086 m/sec, 1490431 t fired, . VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-11 2892853 m, 280484 m/sec, 2892853 t fired, . SemanticWebServices-PT-S256P09-LTLCardinality-11 (memory limit exceeded) VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS 34 SemanticWebServices-PT-S256P09-LTLCardinality-06 VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-06 1498717 m, 299743 m/sec, 1498717 t fired, . VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-06 2583599 m, 216976 m/sec, 2583598 t fired, . VALUE PRODUCED BY LTL true LTL model checker CONJ false preprocessing AG false findpath false preprocessing CONJ false findpath LTL true LTL model checker true preprocessing true LTL model checker false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 STATUS SemanticWebServices-PT-S256P09-LTLCardinality-06 2621473 m, 7574 m/sec, 2621473 t fired, . line 63: 371 Killed lola --conf=$BIN_DIR/configfiles/ltlcardinalityconf --formula=$DIR/LTLCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is SemanticWebServices-PT-S256P09, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r358-smll-167891807800427"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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