MCC'2023- Execution of r518-tall-167987244300210

About the Execution of LoLA for CryptoMiner-PT-D20N100

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2190.884	250400.00	240961.00	702.60	F?FTF?T?TFTT?FF?	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r518-ta
Waiting for the VM to be ready (probing
.........................................
===================
Generated by BenchKit 2-5348
Executing tool lola
Input is CryptoMiner-PT-D20N100,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r518-tall-167987244
=========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 884K
-rw-r--r-- 1 mcc users 24K Mar
-rw-r--r-- 1 mcc users 146K Mar
-rw-r--r-- 1 mcc users 15K Mar
-rw-r--r-- 1 mcc users 98K Mar
-rw-r--r-- 1 mcc users 17K Mar
-rw-r--r-- 1 mcc users 67K Mar
-rw-r--r-- 1 mcc users 4.3K Mar
-rw-r--r-- 1 mcc users 26K Mar
-rw-r--r-- 1 mcc users 1 Mar
-rw-r--r-- 1 mcc users 28K Mar
-rw-r--r-- 1 mcc users 160K Mar
-rw-r--r-- 1 mcc users 29K Mar
-rw-r--r-- 1 mcc users 191K Mar
-rw-r--r-- 1 mcc users 4.0K Mar
-rw-r--r-- 1 mcc users 9.3K Mar
-rw-r--r-- 1 mcc users 5 Mar
-rw-r--r-- 1 mcc users 8 Mar
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 28K Mar

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

=== Data for post analysis generated

The expected result is a vector
BOOL_VECTOR

here is the order used to build
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi
FORMULA_NAME CryptoMiner-PT-D20N100-CTLFi

=== Now, execution of the tool begins

BK_START 1679920749434

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

FORMULA CryptoMiner-PT-D20N100-CTLFireability-14

FORMULA CryptoMiner-PT-D20N100-CTLFireability-13

FORMULA CryptoMiner-PT-D20N100-CTLFireability-11

FORMULA CryptoMiner-PT-D20N100-CTLFireability-08

FORMULA CryptoMiner-PT-D20N100-CTLFireability-04

FORMULA CryptoMiner-PT-D20N100-CTLFireability-03

FORMULA CryptoMiner-PT-D20N100-CTLFireability-02

FORMULA CryptoMiner-PT-D20N100-CTLFireability-06

FORMULA CryptoMiner-PT-D20N100-CTLFireability-00

FORMULA CryptoMiner-PT-D20N100-CTLFireability-10

FORMULA CryptoMiner-PT-D20N100-CTLFireability-09

BK_STOP 1679920999834

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execut
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/executi
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/ex
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: LAUNCH task # 16 (type EXCL)
lola: time limit : 171 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 5/225

Time elapsed: 5 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 10/225

Time elapsed: 10 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 15/225

Time elapsed: 15 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 20/225

Time elapsed: 20 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 25/225

Time elapsed: 25 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 30/225

Time elapsed: 30 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 35/225

Time elapsed: 35 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 40/225

Time elapsed: 40 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 45/225

Time elapsed: 45 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
16 EU EXCL 50/225

Time elapsed: 50 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 16 (type
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 55 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 46 (type EXCL)
lola: time limit : 236 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 5/236

Time elapsed: 60 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 10/236

Time elapsed: 65 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 15/236

Time elapsed: 70 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 20/236

Time elapsed: 75 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 25/236

Time elapsed: 80 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 30/236

Time elapsed: 85 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 35/236

Time elapsed: 90 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 40/236

Time elapsed: 95 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 45/236

Time elapsed: 100 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 46 (type
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 105 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 43 (type EXCL)
lola: time limit : 249 sec
lola: memory limit: 32 pages
lola: FINISHED task # 43 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 40 (type EXCL)
lola: time limit : 268 sec
lola: memory limit: 32 pages
lola: FINISHED task # 40 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 34 (type EXCL)
lola: time limit : 291 sec
lola: memory limit: 32 pages
lola: FINISHED task # 34 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 25 (type EXCL)
lola: time limit : 317 sec
lola: memory limit: 32 pages
lola: FINISHED task # 25 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 22 (type EXCL)
lola: time limit : 349 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 5/349

Time elapsed: 110 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 10/349

Time elapsed: 115 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 15/349

Time elapsed: 120 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 20/349

Time elapsed: 125 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 25/349

Time elapsed: 130 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 30/349

Time elapsed: 135 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 35/349

Time elapsed: 140 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 40/349

Time elapsed: 145 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 45/349

Time elapsed: 150 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 22 (type
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 155 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 13 (type EXCL)
lola: time limit : 382 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10 (type EXCL)
lola: time limit : 430 sec
lola: memory limit: 32 pages
lola: FINISHED task # 10 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 7 (type EXCL)
lola: time limit : 492 sec
lola: memory limit: 32 pages
lola: FINISHED task # 7 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 4 (type EXCL)
lola: time limit : 574 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 5/574

Time elapsed: 160 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 10/574

Time elapsed: 165 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 15/574

Time elapsed: 170 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 20/574

Time elapsed: 175 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 25/574

Time elapsed: 180 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 30/574

Time elapsed: 185 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 4 (type
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 190 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 19 (type EXCL)
lola: time limit : 682 sec
lola: memory limit: 32 pages
lola: FINISHED task # 19 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 852 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 31 (type EXCL)
lola: time limit : 1136 sec
lola: memory limit: 32 pages
lola: FINISHED task # 31 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 28 (type EXCL)
lola: time limit : 1705 sec
lola: memory limit: 32 pages
lola: FINISHED task # 28 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 37 (type EXCL)
lola: time limit : 3410 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 5/3410

Time elapsed: 195 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 10/3410

Time elapsed: 200 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 15/3410

Time elapsed: 205 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 20/3410

Time elapsed: 210 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 25/3410

Time elapsed: 215 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 30/3410

Time elapsed: 220 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 35/3410

Time elapsed: 225 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 40/3410

Time elapsed: 230 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 45/3410

Time elapsed: 235 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 50/3410

Time elapsed: 240 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 55/3410

Time elapsed: 245 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 37 (type
FINISHED FORMULA: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-00:
CryptoMiner-PT-D20N100-CTLFireability-02:
CryptoMiner-PT-D20N100-CTLFireability-03:
CryptoMiner-PT-D20N100-CTLFireability-04:
CryptoMiner-PT-D20N100-CTLFireability-06:
CryptoMiner-PT-D20N100-CTLFireability-08:
CryptoMiner-PT-D20N100-CTLFireability-09:
CryptoMiner-PT-D20N100-CTLFireability-10:
CryptoMiner-PT-D20N100-CTLFireability-11:
CryptoMiner-PT-D20N100-CTLFireability-13:
CryptoMiner-PT-D20N100-CTLFireability-14:

PENDING FORMULAS: CATEGORY
CryptoMiner-PT-D20N100-CTLFireability-01:
CryptoMiner-PT-D20N100-CTLFireability-05:
CryptoMiner-PT-D20N100-CTLFireability-07:
CryptoMiner-PT-D20N100-CTLFireability-12:
CryptoMiner-PT-D20N100-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 250 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: Portfolio finished: no open

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

Time elapsed: 250 secs. Pages
ll-167987244300210.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ssh) .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ================================================== examination is CTLFireability 300210 ============================ 23 15:21 CTLCardinality.txt 23 15:21 CTLCardinality.xml 23 15:19 CTLFireability.txt 23 15:19 CTLFireability.xml 23 07:07 LTLCardinality.txt 23 07:07 LTLCardinality.xml 23 07:07 LTLFireability.txt 23 07:07 LTLFireability.xml 26 22:42 NewModel 23 15:23 ReachabilityCardinality.txt 23 15:23 ReachabilityCardinality.xml 23 15:22 ReachabilityFireability.txt 23 15:22 ReachabilityFireability.xml 23 07:07 UpperBounds.txt 23 07:07 UpperBounds.xml 26 22:42 equiv_col 26 22:42 instance 26 22:42 iscolored 26 22:42 model.pnml by BenchKit (invocation template) of booleans the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N /lola/bin/ FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 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 ion/model.pnml net on/model.pnml ecution/CTLFireability.xml ewrite.k:250 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:317 ewrite.k:322 ewrite.k:334 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:322 ewrite.k:331 ewrite.k:299 ewrite.k:454 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:553 ewrite.k:394 ewrite.k:314 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:296 ewrite.k:325 ewrite.k:331 ewrite.k:325 ewrite.k:328 ewrite.k:314 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:322 ewrite.k:331 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:317 ewrite.k:296 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:314 ewrite.k:325 ewrite.k:334 ewrite.k:325 ewrite.k:334 ewrite.k:299 ewrite.k:325 ewrite.k:328 ewrite.k:317 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:472 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:253 ewrite.k:253 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:460 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:250 ewrite.k:325 ewrite.k:334 ewrite.k:296 ewrite.k:253 ewrite.k:317 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:317 ewrite.k:296 ewrite.k:296 ewrite.k:250 secs. secs. secs. secs. places removed secs. secs. secs. secs. secs. secs. secs. ewrite.k:738 ewrite.k:694 ewrite.k:811 ewrite.k:814 ewrite.k:809 ewrite.k:813 ewrite.k:813 ewrite.k:808 ewrite.k:809 ewrite.k:807 ewrite.k:812 ewrite.k:807 ewrite.k:814 for 15 CryptoMiner-PT-D20N100-CTLFireability-05 ewrite.k:809 ewrite.k:813 ewrite.k:806 ewrite.k:807 ewrite.k:812 ewrite.k:806 ewrite.k:808 ewrite.k:812 ewrite.k:809 ewrite.k:808 ewrite.k:809 ewrite.k:809 ewrite.k:806 secs. secs. secs. ewrite.k:813 ewrite.k:811 ewrite.k:806 ewrite.k:808 ewrite.k:807 ewrite.k:814 ewrite.k:809 ewrite.k:806 ewrite.k:813 ewrite.k:812 ewrite.k:806 ewrite.k:808 ewrite.k:809 ewrite.k:813 ewrite.k:812 ewrite.k:811 ewrite.k:813 ewrite.k:814 secs. ewrite.k:808 ewrite.k:807 ewrite.k:806 ewrite.k:815 ewrite.k:813 ewrite.k:811 ewrite.k:809 ewrite.k:807 ewrite.k:807 ewrite.k:812 ewrite.k:811 ewrite.k:811 ewrite.k:814 ewrite.k:807 ewrite.k:814 ewrite.k:808 ewrite.k:813 ewrite.k:809 ewrite.k:809 ewrite.k:811 ewrite.k:811 ewrite.k:813 secs. ewrite.k:812 ewrite.k:811 ewrite.k:807 ewrite.k:814 ewrite.k:808 ewrite.k:811 ewrite.k:809 ewrite.k:808 ewrite.k:808 ewrite.k:807 ewrite.k:812 ewrite.k:806 ewrite.k:812 ewrite.k:815 ewrite.k:806 ewrite.k:808 ewrite.k:807 ewrite.k:808 ewrite.k:811 ewrite.k:813 ewrite.k:809 ewrite.k:811 ewrite.k:815 ewrite.k:808 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 CryptoMiner-PT-D20N100-CTLFireability-05 1182842 m, 236568 m/sec, 5448207 t fired, . VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 CryptoMiner-PT-D20N100-CTLFireability-05 2257339 m, 214899 m/sec, 10756171 t fired, . in use: 9 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 CryptoMiner-PT-D20N100-CTLFireability-05 3358635 m, 220259 m/sec, 15669175 t fired, . in use: 13 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 CryptoMiner-PT-D20N100-CTLFireability-05 4287059 m, 185684 m/sec, 20628084 t fired, . in use: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 CryptoMiner-PT-D20N100-CTLFireability-05 4291185 m, 825 m/sec, 24616223 t fired, . in use: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 CryptoMiner-PT-D20N100-CTLFireability-05 5123458 m, 166454 m/sec, 29159199 t fired, . in use: 19 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 CryptoMiner-PT-D20N100-CTLFireability-05 6107768 m, 196862 m/sec, 33315264 t fired, . in use: 22 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 CryptoMiner-PT-D20N100-CTLFireability-05 7024644 m, 183375 m/sec, 37363762 t fired, . in use: 26 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 CryptoMiner-PT-D20N100-CTLFireability-05 7917537 m, 178578 m/sec, 41421552 t fired, . in use: 29 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 1 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 CryptoMiner-PT-D20N100-CTLFireability-05 8793126 m, 175117 m/sec, 45471407 t fired, . in use: 32 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-05 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 45 CryptoMiner-PT-D20N100-CTLFireability-15 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 CryptoMiner-PT-D20N100-CTLFireability-15 988339 m, 197667 m/sec, 5720009 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 CryptoMiner-PT-D20N100-CTLFireability-15 1983794 m, 199091 m/sec, 11384087 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 CryptoMiner-PT-D20N100-CTLFireability-15 2713785 m, 145998 m/sec, 16279430 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 CryptoMiner-PT-D20N100-CTLFireability-15 3424454 m, 142133 m/sec, 21201128 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 CryptoMiner-PT-D20N100-CTLFireability-15 4115572 m, 138223 m/sec, 26145564 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 CryptoMiner-PT-D20N100-CTLFireability-15 4867729 m, 150431 m/sec, 31199834 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 CryptoMiner-PT-D20N100-CTLFireability-15 5673068 m, 161067 m/sec, 36575256 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 CryptoMiner-PT-D20N100-CTLFireability-15 6456380 m, 156662 m/sec, 42318370 t fired, . in use: 32 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 CryptoMiner-PT-D20N100-CTLFireability-15 7128926 m, 134509 m/sec, 46488707 t fired, . in use: 32 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 42 CryptoMiner-PT-D20N100-CTLFireability-14 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-14 162 287 0.000000 1 for 39 CryptoMiner-PT-D20N100-CTLFireability-13 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-13 186 301 0.000000 1 for 33 CryptoMiner-PT-D20N100-CTLFireability-11 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-11 162 624 0.000000 1 for 24 CryptoMiner-PT-D20N100-CTLFireability-08 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-08 169 298 0.000000 1 for 21 CryptoMiner-PT-D20N100-CTLFireability-07 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 CryptoMiner-PT-D20N100-CTLFireability-07 908626 m, 181725 m/sec, 6100542 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 CryptoMiner-PT-D20N100-CTLFireability-07 1808833 m, 180041 m/sec, 12312986 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 CryptoMiner-PT-D20N100-CTLFireability-07 2516060 m, 141445 m/sec, 17655065 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 CryptoMiner-PT-D20N100-CTLFireability-07 3194646 m, 135717 m/sec, 22978029 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 CryptoMiner-PT-D20N100-CTLFireability-07 3885247 m, 138120 m/sec, 28363497 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 CryptoMiner-PT-D20N100-CTLFireability-07 4575934 m, 138137 m/sec, 33783313 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 CryptoMiner-PT-D20N100-CTLFireability-07 5302683 m, 145349 m/sec, 39468926 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 CryptoMiner-PT-D20N100-CTLFireability-07 6096943 m, 158852 m/sec, 45559605 t fired, . in use: 32 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 CryptoMiner-PT-D20N100-CTLFireability-07 6789843 m, 138580 m/sec, 50896075 t fired, . in use: 32 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 12 CryptoMiner-PT-D20N100-CTLFireability-04 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-04 122 263 0.000000 1 for 9 CryptoMiner-PT-D20N100-CTLFireability-03 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-03 242 346 0.000000 1 for 6 CryptoMiner-PT-D20N100-CTLFireability-02 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-02 162 1187 0.000000 1 for 3 CryptoMiner-PT-D20N100-CTLFireability-01 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 CryptoMiner-PT-D20N100-CTLFireability-01 1613076 m, 322615 m/sec, 4357250 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 CryptoMiner-PT-D20N100-CTLFireability-01 2856890 m, 248762 m/sec, 8119912 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 CryptoMiner-PT-D20N100-CTLFireability-01 3994341 m, 227490 m/sec, 11666280 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 CryptoMiner-PT-D20N100-CTLFireability-01 5058675 m, 212866 m/sec, 15068206 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 CryptoMiner-PT-D20N100-CTLFireability-01 6076601 m, 203585 m/sec, 18375221 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 CryptoMiner-PT-D20N100-CTLFireability-01 7074493 m, 199578 m/sec, 21639463 t fired, . in use: 32 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 18 CryptoMiner-PT-D20N100-CTLFireability-06 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-06 161 161 0.000000 1 for 0 CryptoMiner-PT-D20N100-CTLFireability-00 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-00 122 363 0.000000 1 for 30 CryptoMiner-PT-D20N100-CTLFireability-10 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-10 137 275 0.000000 1 for 27 CryptoMiner-PT-D20N100-CTLFireability-09 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-09 188 545 0.000000 1 for 36 CryptoMiner-PT-D20N100-CTLFireability-12 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 CryptoMiner-PT-D20N100-CTLFireability-12 896026 m, 179205 m/sec, 6152587 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 CryptoMiner-PT-D20N100-CTLFireability-12 1510364 m, 122867 m/sec, 12344243 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 CryptoMiner-PT-D20N100-CTLFireability-12 2566829 m, 211293 m/sec, 18264574 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 CryptoMiner-PT-D20N100-CTLFireability-12 3300712 m, 146776 m/sec, 23579252 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 CryptoMiner-PT-D20N100-CTLFireability-12 3885254 m, 116908 m/sec, 28878004 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 CryptoMiner-PT-D20N100-CTLFireability-12 4513511 m, 125651 m/sec, 34241268 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 CryptoMiner-PT-D20N100-CTLFireability-12 5036586 m, 104615 m/sec, 39625894 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 CryptoMiner-PT-D20N100-CTLFireability-12 5036586 m, 0 m/sec, 44971614 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 CryptoMiner-PT-D20N100-CTLFireability-12 5562970 m, 105276 m/sec, 50872554 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 CryptoMiner-PT-D20N100-CTLFireability-12 6355495 m, 158505 m/sec, 57258027 t fired, . in use: 32 VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 CryptoMiner-PT-D20N100-CTLFireability-12 7046763 m, 138253 m/sec, 62053662 t fired, . in use: 32 EXCL) for CryptoMiner-PT-D20N100-CTLFireability-12 (memory limit exceeded) VALUE PRODUCED BY AFAG false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EG true state space / EG CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 EU 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 tasks 16 VALUE PRODUCED BY AFAG false CTL model checker CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker EU unknown AGGR EG true state space / EG CTL unknown AGGR CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL unknown AGGR CTL false CTL model checker CTL false CTL model checker CTL unknown AGGR in use: 32

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="CryptoMiner-PT-D20N100"
export BK_EXAMINATION="CTLFireability"
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 CryptoMiner-PT-D20N100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r518-tall-167987244300210"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-PT-D20N100.tgz
mv CryptoMiner-PT-D20N100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;