MCC'2023- Execution of r262-smll-167863537600635

About the Execution of LoLA for Peterson-PT-6

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6675.136	312389.00	930562.00	802.90	TFFFFTFTF?FFTFFF	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-inpu
Waiting for the VM to be
................................
==========
Generated by BenchKit 2-5348
Executing tool lola
Input is Peterson-PT-6,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r262-smll-
================================

--------------------
preparation of the directory
/home/mcc/execution
total 7.0M
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 877K Mar

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa
FORMULA_NAME Peterson-PT-6-LTLCa

=== Now, execution of the

BK_START 1679016268953

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/b
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-PT-6
Not applying reductions.
Model is PT
LTLCardinality PT
starting LoLA
BK_INPUT Peterson-PT-6
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/BenchKi
current directory: /home/mcc/exe
LTLCardinality

FORMULA Peterson-PT-6-LTLCardinality-15

FORMULA Peterson-PT-6-LTLCardinality-14

FORMULA Peterson-PT-6-LTLCardinality-13

FORMULA Peterson-PT-6-LTLCardinality-11

FORMULA Peterson-PT-6-LTLCardinality-10

FORMULA Peterson-PT-6-LTLCardinality-07

FORMULA Peterson-PT-6-LTLCardinality-06

FORMULA Peterson-PT-6-LTLCardinality-05

FORMULA Peterson-PT-6-LTLCardinality-01

FORMULA Peterson-PT-6-LTLCardinality-00

FORMULA Peterson-PT-6-LTLCardinality-03

FORMULA Peterson-PT-6-LTLCardinality-08

FORMULA Peterson-PT-6-LTLCardinality-12

FORMULA Peterson-PT-6-LTLCardinality-04

FORMULA Peterson-PT-6-LTLCardinality-02

BK_STOP 1679016581342

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 67
lola: time limit : 156 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 65
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 66
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 68
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: Created skeleton
sara: try reading problem
lola: Created skeleton
lola: Created skeleton
sara: place or transition
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 4/3597
66 EF STEQ 4/3597
67 EF EXCL 4/179

Time elapsed: 7 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 9/3597
66 EF STEQ 9/3597
67 EF EXCL 9/179

Time elapsed: 12 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 14/3597
66 EF STEQ 14/3597
67 EF EXCL 14/179

Time elapsed: 17 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 19/3597
66 EF STEQ 19/3597
67 EF EXCL 19/179

Time elapsed: 22 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 24/3597
66 EF STEQ 24/3597
67 EF EXCL 24/179

Time elapsed: 27 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 29/3597
66 EF STEQ 29/3597
67 EF EXCL 29/179

Time elapsed: 32 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 34/3597
66 EF STEQ 34/3597
67 EF EXCL 34/179

Time elapsed: 37 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 39/3597
66 EF STEQ 39/3597
67 EF EXCL 39/179

Time elapsed: 42 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 44/3597
66 EF STEQ 44/3597
67 EF EXCL 44/179

Time elapsed: 47 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 49/3597
66 EF STEQ 49/3597
67 EF EXCL 49/179

Time elapsed: 52 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 54/3597
66 EF STEQ 54/3597
67 EF EXCL 54/179

Time elapsed: 57 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 59/3597
66 EF STEQ 59/3597
67 EF EXCL 59/179

Time elapsed: 62 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 64/3597
66 EF STEQ 64/3597
67 EF EXCL 64/179

Time elapsed: 67 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 69/3597
66 EF STEQ 69/3597
67 EF EXCL 69/179

Time elapsed: 72 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 74/3597
66 EF STEQ 74/3597
67 EF EXCL 74/179

Time elapsed: 77 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 79/3597
66 EF STEQ 79/3597
67 EF EXCL 79/179

Time elapsed: 82 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 84/3597
66 EF STEQ 84/3597
67 EF EXCL 84/179

Time elapsed: 87 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 89/3597
66 EF STEQ 89/3597
67 EF EXCL 89/179

Time elapsed: 92 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 94/3597
66 EF STEQ 94/3597
67 EF EXCL 94/179

Time elapsed: 97 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 99/3597
66 EF STEQ 99/3597
67 EF EXCL 99/179

Time elapsed: 102 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 104/3597
66 EF STEQ 104/3597
67 EF EXCL 104/179

Time elapsed: 107 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 109/3597
66 EF STEQ 109/3597
67 EF EXCL 109/179

Time elapsed: 112 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 114/3597
66 EF STEQ 114/3597
67 EF EXCL 114/179

Time elapsed: 117 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 119/3597
66 EF STEQ 119/3597
67 EF EXCL 119/179

Time elapsed: 122 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 124/3597
66 EF STEQ 124/3597
67 EF EXCL 124/179

Time elapsed: 127 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 129/3597
66 EF STEQ 129/3597
67 EF EXCL 129/179

Time elapsed: 132 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 134/3597
66 EF STEQ 134/3597
67 EF EXCL 134/179

Time elapsed: 137 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 139/3597
66 EF STEQ 139/3597
67 EF EXCL 139/179

Time elapsed: 142 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 144/3597
66 EF STEQ 144/3597
67 EF EXCL 144/179

Time elapsed: 147 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 149/3597
66 EF STEQ 149/3597
67 EF EXCL 149/179

Time elapsed: 152 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 154/3597
66 EF STEQ 154/3597
67 EF EXCL 154/179

Time elapsed: 157 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 159/3597
66 EF STEQ 159/3597
67 EF EXCL 159/179

Time elapsed: 162 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 164/3597
66 EF STEQ 164/3597
67 EF EXCL 164/179

Time elapsed: 167 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 169/3597
66 EF STEQ 169/3597
67 EF EXCL 169/179

Time elapsed: 172 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 174/3597
66 EF STEQ 174/3597
67 EF EXCL 174/179

Time elapsed: 177 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 179/3597
66 EF STEQ 179/3597
67 EF EXCL 179/179

Time elapsed: 182 secs.
# running tasks: 3 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 184/3597
66 EF STEQ 184/3597

Time elapsed: 187 secs.
# running tasks: 3 of 4
lola: LAUNCH task # 62
lola: time limit : 179 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 67
lola: time limit : 3413 sec
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 189/3597
66 EF STEQ 189/3597
67 EF EXCL 5/179

Time elapsed: 192 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 194/3597
66 EF STEQ 194/3597
67 EF EXCL 10/179

Time elapsed: 197 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 199/3597
66 EF STEQ 199/3597
67 EF EXCL 15/179

Time elapsed: 202 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 204/3597
66 EF STEQ 204/3597
67 EF EXCL 20/179

Time elapsed: 207 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 209/3597
66 EF STEQ 209/3597
67 EF EXCL 25/179

Time elapsed: 212 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 214/3597
66 EF STEQ 214/3597
67 EF EXCL 30/179

Time elapsed: 217 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 219/3597
66 EF STEQ 219/3597
67 EF EXCL 35/179

Time elapsed: 222 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 224/3597
66 EF STEQ 224/3597
67 EF EXCL 40/179

Time elapsed: 227 secs.
# running tasks: 3 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 229/3597
66 EF STEQ 229/3597

Time elapsed: 232 secs.
# running tasks: 3 of 4
lola: LAUNCH task # 59
lola: time limit : 187 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 56
lola: time limit : 198 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 50
lola: time limit : 210 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 43
lola: time limit : 240 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 40
lola: time limit : 259 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 5/259
65 EF FNDP 234/3597
66 EF STEQ 234/3597

Time elapsed: 237 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 10/259
65 EF FNDP 239/3597
66 EF STEQ 239/3597

Time elapsed: 242 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 15/259
65 EF FNDP 244/3597
66 EF STEQ 244/3597

Time elapsed: 247 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 20/259
65 EF FNDP 249/3597
66 EF STEQ 249/3597

Time elapsed: 252 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 25/259
65 EF FNDP 254/3597
66 EF STEQ 254/3597

Time elapsed: 257 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 30/259
65 EF FNDP 259/3597
66 EF STEQ 259/3597

Time elapsed: 262 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 35/259
65 EF FNDP 264/3597
66 EF STEQ 264/3597

Time elapsed: 267 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 40/259
65 EF FNDP 269/3597
66 EF STEQ 269/3597

Time elapsed: 272 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 45/259
65 EF FNDP 274/3597
66 EF STEQ 274/3597

Time elapsed: 277 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 50/259
65 EF FNDP 279/3597
66 EF STEQ 279/3597

Time elapsed: 282 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 55/259
65 EF FNDP 284/3597
66 EF STEQ 284/3597

Time elapsed: 287 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 60/259
65 EF FNDP 289/3597
66 EF STEQ 289/3597

Time elapsed: 292 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 65/259
65 EF FNDP 294/3597
66 EF STEQ 294/3597

Time elapsed: 297 secs.
# running tasks: 3 of 4
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 70/259
65 EF FNDP 299/3597
66 EF STEQ 299/3597

Time elapsed: 302 secs.
# running tasks: 3 of 4
sara: warning, failure
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
40 LTL EXCL 75/259
65 EF FNDP 304/3597
66 EF STEQ 304/3597

Time elapsed: 307 secs.
# running tasks: 3 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

PENDING FORMULAS: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-12:

TASK CATEGORY TYPE TIME/TLIMIT
65 EF FNDP 309/3597
66 EF STEQ 309/3597

Time elapsed: 312 secs.
# running tasks: 3 of 4
lola: LAUNCH task # 38
lola: time limit : 274 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 30
lola: time limit : 298 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 27
lola: time limit : 328 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 24
lola: time limit : 365 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 8
lola: time limit : 411 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: CANCELED task #
lola: LAUNCH task # 1
lola: time limit : 469 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 69
lola: time limit : 548 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used
lola: memory pages used :
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 33
lola: time limit : 822 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 53
lola: time limit : 1096 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 21
lola: time limit : 1644 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 11
lola: time limit : 3288 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished:

FINAL RESULTS
FINISHED FORMULA: CATEGORY
Peterson-PT-6-LTLCardinality-00:
Peterson-PT-6-LTLCardinality-01:
Peterson-PT-6-LTLCardinality-02:
Peterson-PT-6-LTLCardinality-03:
Peterson-PT-6-LTLCardinality-04:
Peterson-PT-6-LTLCardinality-05:
Peterson-PT-6-LTLCardinality-06:
Peterson-PT-6-LTLCardinality-07:
Peterson-PT-6-LTLCardinality-08:
Peterson-PT-6-LTLCardinality-09:
Peterson-PT-6-LTLCardinality-10:
Peterson-PT-6-LTLCardinality-11:
Peterson-PT-6-LTLCardinality-12:
Peterson-PT-6-LTLCardinality-13:
Peterson-PT-6-LTLCardinality-14:
Peterson-PT-6-LTLCardinality-15:

Time elapsed: 312 secs.
t.r262-smll-167863537600635.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ready (probing ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =========================================================== examination is LTLCardinality 3600 seconds is 16384 MBytes 167863537600635 ===================================== to be used: 204K Feb 25 22:30 CTLCardinality.txt 847K Feb 25 22:30 CTLCardinality.xml 215K Feb 25 22:22 CTLFireability.txt 986K Feb 25 22:22 CTLFireability.xml 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml 6.5K Jan 29 11:40 GenericPropertiesVerdict.xml 124K Feb 25 16:31 LTLCardinality.txt 364K Feb 25 16:31 LTLCardinality.xml 82K Feb 25 16:31 LTLFireability.txt 288K Feb 25 16:31 LTLFireability.xml 402K Feb 25 22:59 ReachabilityCardinality.txt 1.6M Feb 25 22:59 ReachabilityCardinality.xml 198K Feb 25 22:47 ReachabilityFireability.txt 839K Feb 25 22:47 ReachabilityFireability.xml 20K Feb 25 16:31 UpperBounds.txt 44K Feb 25 16:31 UpperBounds.xml 5 Mar 5 18:23 equiv_col 2 Mar 5 18:23 instance 6 Mar 5 18:23 iscolored 5 18:23 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result 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 tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N in/ t/bin//../lola/bin/ cution FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 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 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 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 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/LTLCardinality.xml formula_rewrite.k:314 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:328 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:334 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:349 formula_rewrite.k:334 formula_rewrite.k:334 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:544 formula_rewrite.k:349 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:328 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:349 formula_rewrite.k:355 formula_rewrite.k:379 formula_rewrite.k:535 formula_rewrite.k:98 formula_rewrite.k:98 formula_rewrite.k:153 formula_rewrite.k:168 formula_rewrite.k:153 formula_rewrite.k:376 formula_rewrite.k:349 formula_rewrite.k:424 formula_rewrite.k:430 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:334 formula_rewrite.k:314 formula_rewrite.k:299 formula_rewrite.k:314 formula_rewrite.k:299 formula_rewrite.k:317 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:334 formula_rewrite.k:334 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:433 formula_rewrite.k:550 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:355 formula_rewrite.k:352 formula_rewrite.k:409 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:328 formula_rewrite.k:340 formula_rewrite.k:299 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:433 formula_rewrite.k:355 formula_rewrite.k:550 formula_rewrite.k:430 formula_rewrite.k:433 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:334 formula_rewrite.k:334 formula_rewrite.k:334 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:328 formula_rewrite.k:296 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. formula_rewrite.k:721 formula_rewrite.k:788 formula_rewrite.k:721 formula_rewrite.k:788 formula_rewrite.k:721 formula_rewrite.k:788 (type EXCL) for 3 Peterson-PT-6-LTLCardinality-01 (type FNDP) for 3 Peterson-PT-6-LTLCardinality-01 32000000 sec (type EQUN) for 3 Peterson-PT-6-LTLCardinality-01 32000000 sec (type SRCH) for 3 Peterson-PT-6-LTLCardinality-01 32000000 sec formula_rewrite.k:721 formula_rewrite.k:788 68 (type SRCH) for Peterson-PT-6-LTLCardinality-01 : unknown 0.000000 1 in 0.000000 secs. file /home/mcc/execution/LTLCardinality-66.sara. in 0.000000 secs. in 0.000000 secs. ordering is non-deterministic formula_rewrite.k:749 formula_rewrite.k:787 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 82626 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 1/32 Peterson-PT-6-LTLCardinality-01 77425 m, 15485 m/sec, 221537 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 229741 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 1/32 Peterson-PT-6-LTLCardinality-01 202068 m, 24928 m/sec, 578367 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 377242 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 2/32 Peterson-PT-6-LTLCardinality-01 325623 m, 24711 m/sec, 935583 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 527232 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 3/32 Peterson-PT-6-LTLCardinality-01 452153 m, 25306 m/sec, 1303115 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 678158 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 3/32 Peterson-PT-6-LTLCardinality-01 579750 m, 25519 m/sec, 1671789 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 826691 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 4/32 Peterson-PT-6-LTLCardinality-01 709102 m, 25870 m/sec, 2049296 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 973927 t fired, 1 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 4/32 Peterson-PT-6-LTLCardinality-01 838587 m, 25897 m/sec, 2427223 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 1121255 t fired, 2 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 5/32 Peterson-PT-6-LTLCardinality-01 968604 m, 26003 m/sec, 2804696 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 1268573 t fired, 2 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 5/32 Peterson-PT-6-LTLCardinality-01 1098150 m, 25909 m/sec, 3182490 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 1415916 t fired, 2 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 6/32 Peterson-PT-6-LTLCardinality-01 1227614 m, 25892 m/sec, 3559442 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 1563490 t fired, 2 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 7/32 Peterson-PT-6-LTLCardinality-01 1357142 m, 25905 m/sec, 3941127 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 1710936 t fired, 2 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 7/32 Peterson-PT-6-LTLCardinality-01 1485765 m, 25724 m/sec, 4328121 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 1858295 t fired, 2 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 8/32 Peterson-PT-6-LTLCardinality-01 1613299 m, 25506 m/sec, 4714427 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2005800 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 8/32 Peterson-PT-6-LTLCardinality-01 1738392 m, 25018 m/sec, 5127341 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2153479 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 9/32 Peterson-PT-6-LTLCardinality-01 1865826 m, 25486 m/sec, 5521961 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2300862 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 9/32 Peterson-PT-6-LTLCardinality-01 1991220 m, 25078 m/sec, 5935852 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2448444 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 10/32 Peterson-PT-6-LTLCardinality-01 2116533 m, 25062 m/sec, 6345758 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2596098 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 10/32 Peterson-PT-6-LTLCardinality-01 2241065 m, 24906 m/sec, 6769039 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2743907 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 11/32 Peterson-PT-6-LTLCardinality-01 2364422 m, 24671 m/sec, 7210002 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 2891793 t fired, 3 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 12/32 Peterson-PT-6-LTLCardinality-01 2491469 m, 25409 m/sec, 7597637 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3039381 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 12/32 Peterson-PT-6-LTLCardinality-01 2610049 m, 23716 m/sec, 8071811 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3186493 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 13/32 Peterson-PT-6-LTLCardinality-01 2732871 m, 24564 m/sec, 8458604 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3339252 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 13/32 Peterson-PT-6-LTLCardinality-01 2845311 m, 22488 m/sec, 8912048 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3487522 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 14/32 Peterson-PT-6-LTLCardinality-01 2961703 m, 23278 m/sec, 9310420 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3635597 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 14/32 Peterson-PT-6-LTLCardinality-01 3076403 m, 22940 m/sec, 9736573 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3786905 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 14/32 Peterson-PT-6-LTLCardinality-01 3185121 m, 21743 m/sec, 10211909 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 3941627 t fired, 4 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 15/32 Peterson-PT-6-LTLCardinality-01 3297045 m, 22384 m/sec, 10676658 t fired, . Pages in use: 15 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 4096708 t fired, 5 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 15/32 Peterson-PT-6-LTLCardinality-01 3406592 m, 21909 m/sec, 11151387 t fired, . Pages in use: 15 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 4251665 t fired, 5 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 16/32 Peterson-PT-6-LTLCardinality-01 3514404 m, 21562 m/sec, 11646941 t fired, . Pages in use: 16 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 4406636 t fired, 5 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 16/32 Peterson-PT-6-LTLCardinality-01 3621014 m, 21322 m/sec, 12157676 t fired, . Pages in use: 16 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 4561393 t fired, 5 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 17/32 Peterson-PT-6-LTLCardinality-01 3729148 m, 21626 m/sec, 12638078 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 4716385 t fired, 5 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 17/32 Peterson-PT-6-LTLCardinality-01 3834684 m, 21107 m/sec, 13157749 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 4870999 t fired, 5 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 18/32 Peterson-PT-6-LTLCardinality-01 3944097 m, 21882 m/sec, 13652952 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5025709 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 18/32 Peterson-PT-6-LTLCardinality-01 4051411 m, 21462 m/sec, 14145730 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5176935 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 19/32 Peterson-PT-6-LTLCardinality-01 4157683 m, 21254 m/sec, 14645651 t fired, . Pages in use: 19 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5324553 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 19/32 Peterson-PT-6-LTLCardinality-01 4269419 m, 22347 m/sec, 15118031 t fired, . Pages in use: 19 Visible: 16 67 (type EXCL) for Peterson-PT-6-LTLCardinality-01 (local timeout) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 1 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5474717 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 19 Visible: 16 (type EXCL) for 61 Peterson-PT-6-LTLCardinality-15 formula_rewrite.k:721 formula_rewrite.k:788 (type EXCL) for 3 Peterson-PT-6-LTLCardinality-01 62 (type EXCL) for Peterson-PT-6-LTLCardinality-15 : false 39 40 0.000000 1 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5622330 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 1/5 Peterson-PT-6-LTLCardinality-01 125147 m, -828854 m/sec, 359153 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5771488 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 2/5 Peterson-PT-6-LTLCardinality-01 249236 m, 24817 m/sec, 713848 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 5918942 t fired, 6 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 2/5 Peterson-PT-6-LTLCardinality-01 376891 m, 25531 m/sec, 1082847 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 6066708 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 3/5 Peterson-PT-6-LTLCardinality-01 506799 m, 25981 m/sec, 1462700 t fired, . Pages in use: 22 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 6216643 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 3/5 Peterson-PT-6-LTLCardinality-01 635317 m, 25703 m/sec, 1833328 t fired, . Pages in use: 22 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 6364752 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 4/5 Peterson-PT-6-LTLCardinality-01 764549 m, 25846 m/sec, 2209623 t fired, . Pages in use: 23 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 6512660 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 5/5 Peterson-PT-6-LTLCardinality-01 893736 m, 25837 m/sec, 2586412 t fired, . Pages in use: 24 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 3 0 3 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 6662645 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. 5/5 Peterson-PT-6-LTLCardinality-01 1021702 m, 25593 m/sec, 2958391 t fired, . Pages in use: 24 Visible: 16 67 (type EXCL) for Peterson-PT-6-LTLCardinality-01 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 6817865 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 24 Visible: 16 (type EXCL) for 58 Peterson-PT-6-LTLCardinality-14 59 (type EXCL) for Peterson-PT-6-LTLCardinality-14 : false 34 34 0.000000 1 (type EXCL) for 55 Peterson-PT-6-LTLCardinality-13 56 (type EXCL) for Peterson-PT-6-LTLCardinality-13 : false 52214 82729 0.000000 1 (type EXCL) for 45 Peterson-PT-6-LTLCardinality-11 50 (type EXCL) for Peterson-PT-6-LTLCardinality-11 : false 34 34 0.000000 1 (type EXCL) for 42 Peterson-PT-6-LTLCardinality-10 43 (type EXCL) for Peterson-PT-6-LTLCardinality-10 : false 35 36 0.000000 1 (type EXCL) for 35 Peterson-PT-6-LTLCardinality-09 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Peterson-PT-6-LTLCardinality-09 546568 m, 109313 m/sec, 928122 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 6971762 t fired, 7 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 25 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Peterson-PT-6-LTLCardinality-09 955647 m, 81815 m/sec, 1999619 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 7126941 t fired, 8 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 29 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Peterson-PT-6-LTLCardinality-09 1126529 m, 34176 m/sec, 3207292 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 7282606 t fired, 8 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 31 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Peterson-PT-6-LTLCardinality-09 1294267 m, 33547 m/sec, 4415221 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 7438101 t fired, 8 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 32 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 Peterson-PT-6-LTLCardinality-09 1467966 m, 34739 m/sec, 5632580 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 7593741 t fired, 8 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 34 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 Peterson-PT-6-LTLCardinality-09 1639220 m, 34250 m/sec, 6842753 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 7749255 t fired, 8 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 36 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Peterson-PT-6-LTLCardinality-09 1812439 m, 34643 m/sec, 8054547 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 7904710 t fired, 8 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 38 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 Peterson-PT-6-LTLCardinality-09 1979473 m, 33406 m/sec, 9223889 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8059823 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 40 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Peterson-PT-6-LTLCardinality-09 2142771 m, 32659 m/sec, 10378626 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8214738 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 41 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Peterson-PT-6-LTLCardinality-09 2314275 m, 34300 m/sec, 11572938 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8369722 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 43 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Peterson-PT-6-LTLCardinality-09 2485375 m, 34220 m/sec, 12756358 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8524615 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 44 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 Peterson-PT-6-LTLCardinality-09 2648538 m, 32632 m/sec, 13921657 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8679271 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 46 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 Peterson-PT-6-LTLCardinality-09 2816495 m, 33591 m/sec, 15099205 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8832119 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 47 Visible: 16 VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Peterson-PT-6-LTLCardinality-09 2984605 m, 33622 m/sec, 16276653 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 8982824 t fired, 9 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 49 Visible: 16 of lp_solve (at job 20361) VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 1 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Peterson-PT-6-LTLCardinality-09 3147725 m, 32624 m/sec, 17411932 t fired, . 0/5 Peterson-PT-6-LTLCardinality-01 9134583 t fired, 10 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 51 Visible: 16 40 (type EXCL) for Peterson-PT-6-LTLCardinality-09 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker CONJ false LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 3 0 1 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 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 CONJ 0 1 0 0 2 0 1 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 0/5 Peterson-PT-6-LTLCardinality-01 9285674 t fired, 10 attempts, . 0/5 Peterson-PT-6-LTLCardinality-01 sara is running. Pages in use: 51 Visible: 16 (type EXCL) for 35 Peterson-PT-6-LTLCardinality-09 38 (type EXCL) for Peterson-PT-6-LTLCardinality-09 : true 8 7 0.000000 1 (type EXCL) for 29 Peterson-PT-6-LTLCardinality-07 30 (type EXCL) for Peterson-PT-6-LTLCardinality-07 : true 8 7 0.000000 1 (type EXCL) for 26 Peterson-PT-6-LTLCardinality-06 27 (type EXCL) for Peterson-PT-6-LTLCardinality-06 : false 51 55 0.000000 1 (type EXCL) for 23 Peterson-PT-6-LTLCardinality-05 24 (type EXCL) for Peterson-PT-6-LTLCardinality-05 : true 15 14 0.000000 1 (type EXCL) for 3 Peterson-PT-6-LTLCardinality-01 8 (type EXCL) for Peterson-PT-6-LTLCardinality-01 : false 40 40 0.000000 1 65 (type FNDP) for Peterson-PT-6-LTLCardinality-01 (obsolete) 66 (type EQUN) for Peterson-PT-6-LTLCardinality-01 (obsolete) (type EXCL) for 0 Peterson-PT-6-LTLCardinality-00 1 (type EXCL) for Peterson-PT-6-LTLCardinality-00 : true 15 14 0.000000 1 (type EXCL) for 13 Peterson-PT-6-LTLCardinality-03 65 (type FNDP) for Peterson-PT-6-LTLCardinality-01 : unknown 9285855 11 : 309.000000 0 69 (type EXCL) for Peterson-PT-6-LTLCardinality-03 : true 25 25 0.000000 1 (type EXCL) for 32 Peterson-PT-6-LTLCardinality-08 33 (type EXCL) for Peterson-PT-6-LTLCardinality-08 : false 26 27 0.000000 1 (type EXCL) for 52 Peterson-PT-6-LTLCardinality-12 53 (type EXCL) for Peterson-PT-6-LTLCardinality-12 : true 1 0.000000 1 (type EXCL) for 20 Peterson-PT-6-LTLCardinality-04 21 (type EXCL) for Peterson-PT-6-LTLCardinality-04 : false 533 533 0.000000 1 (type EXCL) for 10 Peterson-PT-6-LTLCardinality-02 11 (type EXCL) for Peterson-PT-6-LTLCardinality-02 : false 56 56 0.000000 1 no open tasks 16 VALUE PRODUCED BY LTL true LTL model checker CONJ false LTL model checker LTL false LTL model checker CONJ false state space / EG LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL true LTL model checker LTL false LTL model checker CONJ unknown CONJ LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL false LTL model checker LTL false LTL model checker Pages in use: 51

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="Peterson-PT-6"
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 Peterson-PT-6, 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 r262-smll-167863537600635"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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