MCC'2023- Execution of r455-smll-167912647200346

About the Execution of LoLa+red for Solitaire-PT-SqrNC5x5

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2896.987	419489.00	413828.00	1839.30	??FF??FT?FTFFFFF	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.r455-s
Waiting for the VM to be ready
........................................
==================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is Solitaire-PT-SqrNC5x5,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r455-smll-16791264
========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 6.4K Feb
-rw-r--r-- 1 mcc users 71K Feb
-rw-r--r-- 1 mcc users 5.4K Feb
-rw-r--r-- 1 mcc users 45K Feb
-rw-r--r-- 1 mcc users 4.2K Jan
-rw-r--r-- 1 mcc users 6.8K Jan
-rw-r--r-- 1 mcc users 3.5K Feb
-rw-r--r-- 1 mcc users 23K Feb
-rw-r--r-- 1 mcc users 2.5K Feb
-rw-r--r-- 1 mcc users 18K Feb
-rw-r--r-- 1 mcc users 11K Feb
-rw-r--r-- 1 mcc users 110K Feb
-rw-r--r-- 1 mcc users 11K Feb
-rw-r--r-- 1 mcc users 92K Feb
-rw-r--r-- 1 mcc users 1.7K Feb
-rw-r--r-- 1 mcc users 3.7K Feb
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 9 Mar
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 69K 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 Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi
FORMULA_NAME Solitaire-PT-SqrNC5x5-CTLFi

=== Now, execution of the tool begins

BK_START 1679228108888

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Solitaire-PT-SqrNC5x5
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-19 12:15:12] [INFO ]
[2023-03-19 12:15:12] [INFO ]
[2023-03-19 12:15:12] [INFO ]
[2023-03-19 12:15:12] [INFO ]
[2023-03-19 12:15:12] [INFO ]
[2023-03-19 12:15:12] [INFO ]
[2023-03-19 12:15:12] [INFO ]
Parsed 16 properties from file
Support contains 46 out of 50 places.
Starting structural reductions
Applied a total of 0 rules in 15
// Phase 1: matrix 84 rows 50 cols
[2023-03-19 12:15:13] [INFO ]
[2023-03-19 12:15:13] [INFO ]
[2023-03-19 12:15:13] [INFO ]
[2023-03-19 12:15:13] [INFO ]
Implicit Place search using SMT
[2023-03-19 12:15:13] [INFO ]
[2023-03-19 12:15:13] [INFO ]
Finished structural reductions
Support contains 46 out of 50 places
[2023-03-19 12:15:14] [INFO ]
[2023-03-19 12:15:14] [INFO ]
[2023-03-19 12:15:14] [INFO ]
Incomplete random walk after 10000
Incomplete Best-First random walk after 10001
Incomplete Best-First random walk after 10001
Incomplete Best-First random walk after 10001
Running SMT prover for 2 properties.
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Fused 2 Parikh solutions to 0 different
Parikh walk visited 0 properties
Successfully simplified 2 atomic
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Computed a total of 0 stabilizing
Starting structural reductions
Applied a total of 0 rules in 12
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 2
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 1
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 2
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 6
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 1
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 6
Finished structural reductions
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
[2023-03-19 12:15:15] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 8
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 1
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 6
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 1
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 2
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 7
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 1
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 2
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Starting structural reductions
Applied a total of 0 rules in 6
Finished structural reductions
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
[2023-03-19 12:15:16] [INFO ]
Total runtime 3814 ms.
There are residual formulas that
starting LoLA
BK_INPUT Solitaire-PT-SqrNC5x5
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin//.
current directory: /home/mcc/execution/3
CTLFireability

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-03

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-14

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-13

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-11

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-10

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-02

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-15

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-12

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-06

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-07

FORMULA Solitaire-PT-SqrNC5x5-CTLFireability-09

BK_STOP 1679228528377

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/i
+ PYTHONPATH=/home/mcc/BenchKit/itstools
+ export LD_LIBRARY_PATH=/home/mcc/Bench
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/its
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execu
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execut
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/e
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
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: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: LAUNCH task # 20 (type
lola: time limit : 163 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: rewrite Frontend/Parser/formula_
lola: Created skeleton in 0.000000
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 5/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 10/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 15/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 20/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 25/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 30/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 35/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 40/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 45/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 50/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 55/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 60/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 65/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 70/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 75/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 80/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 85/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 90/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 95/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 100/211

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

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 106 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 52 (type
lola: time limit : 218 sec
lola: memory limit: 32 pages
lola: FINISHED task # 52 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 47 (type
lola: time limit : 232 sec
lola: memory limit: 32 pages
lola: FINISHED task # 47 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 44 (type
lola: time limit : 249 sec
lola: memory limit: 32 pages
lola: FINISHED task # 44 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 38 (type
lola: time limit : 268 sec
lola: memory limit: 32 pages
lola: FINISHED task # 38 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 35 (type
lola: time limit : 291 sec
lola: memory limit: 32 pages
lola: FINISHED task # 35 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 29 (type
lola: time limit : 317 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 5/317

Time elapsed: 111 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 10/317

Time elapsed: 116 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 15/317

Time elapsed: 121 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 20/317

Time elapsed: 126 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 25/317

Time elapsed: 131 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 30/317

Time elapsed: 136 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 35/317

Time elapsed: 141 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 40/317

Time elapsed: 146 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 45/317

Time elapsed: 151 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 50/317

Time elapsed: 156 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 55/317

Time elapsed: 161 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 60/317

Time elapsed: 166 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 65/317

Time elapsed: 171 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 70/317

Time elapsed: 176 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 75/317

Time elapsed: 181 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 80/317

Time elapsed: 186 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 85/317

Time elapsed: 191 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 90/317

Time elapsed: 196 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 95/317

Time elapsed: 201 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 100/317

Time elapsed: 206 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
29 CTL EXCL 105/317

Time elapsed: 211 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 29 (type
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 216 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 11 (type
lola: time limit : 338 sec
lola: memory limit: 32 pages
lola: FINISHED task # 11 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 6 (type EXCL)
lola: time limit : 376 sec
lola: memory limit: 32 pages
lola: FINISHED task # 6 (type
lola: result : true
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 53 (type
lola: time limit : 423 sec
lola: memory limit: 32 pages
lola: FINISHED task # 53 (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 : 483 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 5/483

Time elapsed: 221 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 10/483

Time elapsed: 226 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 15/483

Time elapsed: 231 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 20/483

Time elapsed: 236 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 25/483

Time elapsed: 241 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 30/483

Time elapsed: 246 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 35/483

Time elapsed: 251 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 40/483

Time elapsed: 256 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 45/483

Time elapsed: 261 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 50/483

Time elapsed: 266 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 55/483

Time elapsed: 271 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 60/483

Time elapsed: 276 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 65/483

Time elapsed: 281 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 70/483

Time elapsed: 286 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 75/483

Time elapsed: 291 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 80/483

Time elapsed: 296 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 85/483

Time elapsed: 301 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 90/483

Time elapsed: 306 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 95/483

Time elapsed: 311 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 1 (type
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:
Solitaire-PT-SqrNC5x5-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 316 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 41 (type
lola: time limit : 547 sec
lola: memory limit: 32 pages
lola: FINISHED task # 41 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 23 (type
lola: time limit : 656 sec
lola: memory limit: 32 pages
lola: FINISHED task # 23 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 8 (type EXCL)
lola: time limit : 821 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 5/821

Time elapsed: 321 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 10/821

Time elapsed: 326 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 15/821

Time elapsed: 331 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 20/821

Time elapsed: 336 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 25/821

Time elapsed: 341 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 30/821

Time elapsed: 346 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 8 (type
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 351 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 17 (type
lola: time limit : 1083 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 5/1083

Time elapsed: 356 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 10/1083

Time elapsed: 361 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 15/1083

Time elapsed: 366 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 20/1083

Time elapsed: 371 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 25/1083

Time elapsed: 376 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 30/1083

Time elapsed: 381 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 35/1083

Time elapsed: 386 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 40/1083

Time elapsed: 391 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 45/1083

Time elapsed: 396 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 50/1083

Time elapsed: 401 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 55/1083

Time elapsed: 406 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 17 (type
FINISHED FORMULA: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-02:
Solitaire-PT-SqrNC5x5-CTLFireability-03:
Solitaire-PT-SqrNC5x5-CTLFireability-06:
Solitaire-PT-SqrNC5x5-CTLFireability-10:
Solitaire-PT-SqrNC5x5-CTLFireability-11:
Solitaire-PT-SqrNC5x5-CTLFireability-12:
Solitaire-PT-SqrNC5x5-CTLFireability-13:
Solitaire-PT-SqrNC5x5-CTLFireability-14:
Solitaire-PT-SqrNC5x5-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Solitaire-PT-SqrNC5x5-CTLFireability-00:
Solitaire-PT-SqrNC5x5-CTLFireability-01:
Solitaire-PT-SqrNC5x5-CTLFireability-04:
Solitaire-PT-SqrNC5x5-CTLFireability-05:
Solitaire-PT-SqrNC5x5-CTLFireability-07:
Solitaire-PT-SqrNC5x5-CTLFireability-08:
Solitaire-PT-SqrNC5x5-CTLFireability-09:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 411 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 26 (type
lola: time limit : 1594 sec
lola: memory limit: 32 pages
lola: FINISHED task # 26 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 32 (type
lola: time limit : 3189 sec
lola: memory limit: 32 pages
lola: FINISHED task # 32 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished: no

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

Time elapsed: 411 secs. Pages
mll-167912647200346.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 (probing ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ =================================================== examination is CTLFireability 7200346 ============================= 26 12:57 CTLCardinality.txt 26 12:57 CTLCardinality.xml 26 12:56 CTLFireability.txt 26 12:56 CTLFireability.xml 29 11:41 GenericPropertiesDefinition.xml 29 11:41 GenericPropertiesVerdict.xml 25 17:10 LTLCardinality.txt 25 17:10 LTLCardinality.xml 25 17:10 LTLFireability.txt 25 17:10 LTLFireability.xml 26 12:58 ReachabilityCardinality.txt 26 12:58 ReachabilityCardinality.xml 26 12:58 ReachabilityFireability.txt 26 12:58 ReachabilityFireability.xml 25 17:10 UpperBounds.txt 25 17:10 UpperBounds.xml 5 18:23 equiv_col 5 18:23 instance 5 18:23 iscolored 5 18:23 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 Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML] Parsing pnml file : /home/mcc/execution/model.pnml Load time of PNML (sax parser for PT used): 109 ms Transformed 50 places. Transformed 84 transitions. Found NUPN structural information; Parsed PT model containing 50 places and 84 transitions and 456 arcs in 247 ms. /home/mcc/execution/CTLFireability.xml in 13 ms. Attempting structural reductions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. Computed 25 place invariants in 17 ms Implicit Places using invariants in 291 ms returned [] Invariant cache hit. Implicit Places using invariants and state equation in 158 ms returned [] with State Equation took 491 ms to find 0 implicit places. Invariant cache hit. Dead Transitions using invariants and state equation in 183 ms found 0 transitions. in LTL mode , in 1 iterations and 693 ms. Remains : 50/50 places, 84/84 transitions. after structural reductions. Flatten gal took : 74 ms Flatten gal took : 30 ms Input system was already deterministic with 84 transitions. steps, including 454 resets, run finished after 694 ms. (steps per millisecond=14 ) properties (out of 63) seen :60 steps, including 38 resets, run finished after 107 ms. (steps per millisecond=93 ) properties (out of 3) seen :0 steps, including 35 resets, run finished after 64 ms. (steps per millisecond=156 ) properties (out of 3) seen :1 steps, including 42 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 2) seen :0 Invariant cache hit. After 87ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2 [Nat]Absence check using 25 positive place invariants in 7 ms returned sat After 77ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :0 solutions. in 0 ms. propositions for a total of 16 simplifications. Flatten gal took : 14 ms Flatten gal took : 17 ms Input system was already deterministic with 84 transitions. places and 0 stable transitions in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 13 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 9 ms Flatten gal took : 11 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 2 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 9 ms Flatten gal took : 11 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 1 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 9 ms Flatten gal took : 10 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 2 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 8 ms Flatten gal took : 9 ms Input system was already deterministic with 84 transitions. in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 6 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 8 ms Flatten gal took : 9 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 2 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 13 ms Flatten gal took : 8 ms Input system was already deterministic with 84 transitions. in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 6 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 7 ms Flatten gal took : 7 ms Input system was already deterministic with 84 transitions. in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 8 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 12 ms Flatten gal took : 13 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 1 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 12 ms Flatten gal took : 13 ms Input system was already deterministic with 84 transitions. in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 6 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 10 ms Flatten gal took : 11 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 1 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 10 ms Flatten gal took : 11 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 2 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 10 ms Flatten gal took : 10 ms Input system was already deterministic with 84 transitions. in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 7 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 9 ms Flatten gal took : 9 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 1 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 8 ms Flatten gal took : 9 ms Input system was already deterministic with 84 transitions. in LTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in LTL mode , in 1 iterations and 2 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 8 ms Flatten gal took : 9 ms Input system was already deterministic with 84 transitions. in SI_CTL mode, iteration 0 : 50/50 places, 84/84 transitions. ms. Remains 50 /50 variables (removed 0) and now considering 84/84 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 7 ms. Remains : 50/50 places, 84/84 transitions. Flatten gal took : 8 ms Flatten gal took : 9 ms Input system was already deterministic with 84 transitions. Flatten gal took : 18 ms Flatten gal took : 10 ms Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 9 ms. Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 50 places, 84 transitions and 456 arcs took 2 ms. ITS could not solve within timeout ./reducer/bin//../../lola/bin/ 76 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT tstools/pylibs /pylibs Kit/itstools/pylibs: tools/pylibs: /bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar //../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML tion/376/model.pnml net ion/376/model.pnml xecution/376/CTLFireability.xml rewrite.k:322 rewrite.k:334 rewrite.k:296 rewrite.k:322 rewrite.k:337 rewrite.k:325 rewrite.k:337 rewrite.k:317 rewrite.k:314 rewrite.k:322 rewrite.k:337 rewrite.k:296 rewrite.k:296 rewrite.k:322 rewrite.k:328 rewrite.k:296 rewrite.k:296 rewrite.k:325 rewrite.k:334 rewrite.k:299 rewrite.k:317 rewrite.k:325 rewrite.k:331 rewrite.k:322 rewrite.k:334 rewrite.k:296 rewrite.k:296 rewrite.k:475 rewrite.k:322 rewrite.k:334 rewrite.k:296 rewrite.k:322 rewrite.k:337 rewrite.k:325 rewrite.k:334 rewrite.k:299 rewrite.k:322 rewrite.k:328 rewrite.k:296 rewrite.k:322 rewrite.k:337 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:296 rewrite.k:547 rewrite.k:250 rewrite.k:325 rewrite.k:328 rewrite.k:317 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:317 rewrite.k:296 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:325 rewrite.k:331 rewrite.k:296 rewrite.k:250 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:250 rewrite.k:314 rewrite.k:322 rewrite.k:328 rewrite.k:296 rewrite.k:314 rewrite.k:325 rewrite.k:328 rewrite.k:299 rewrite.k:296 rewrite.k:469 rewrite.k:317 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:314 rewrite.k:322 rewrite.k:334 rewrite.k:296 rewrite.k:296 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:250 rewrite.k:322 rewrite.k:331 rewrite.k:296 rewrite.k:317 rewrite.k:296 rewrite.k:317 rewrite.k:325 rewrite.k:328 rewrite.k:299 rewrite.k:322 rewrite.k:337 rewrite.k:317 rewrite.k:314 rewrite.k:296 rewrite.k:325 rewrite.k:328 rewrite.k:296 rewrite.k:322 rewrite.k:334 rewrite.k:296 rewrite.k:296 secs. secs. secs. secs. places removed secs. secs. secs. secs. secs. secs. secs. secs. rewrite.k:811 rewrite.k:812 rewrite.k:811 rewrite.k:813 EXCL) for 19 Solitaire-PT-SqrNC5x5-CTLFireability-05 rewrite.k:813 rewrite.k:811 rewrite.k:811 rewrite.k:811 rewrite.k:808 rewrite.k:811 secs. secs. secs. rewrite.k:813 rewrite.k:811 rewrite.k:807 rewrite.k:808 rewrite.k:811 rewrite.k:808 rewrite.k:811 rewrite.k:813 rewrite.k:809 rewrite.k:808 rewrite.k:808 rewrite.k:806 rewrite.k:813 rewrite.k:806 rewrite.k:754 rewrite.k:787 rewrite.k:812 rewrite.k:811 rewrite.k:808 rewrite.k:808 rewrite.k:808 rewrite.k:811 rewrite.k:807 rewrite.k:814 rewrite.k:808 rewrite.k:813 rewrite.k:814 rewrite.k:814 rewrite.k:812 rewrite.k:814 rewrite.k:806 rewrite.k:814 rewrite.k:806 rewrite.k:812 rewrite.k:806 rewrite.k:810 rewrite.k:808 rewrite.k:810 rewrite.k:813 rewrite.k:806 rewrite.k:806 rewrite.k:814 rewrite.k:808 rewrite.k:807 rewrite.k:814 rewrite.k:808 rewrite.k:809 rewrite.k:812 rewrite.k:812 rewrite.k:811 rewrite.k:811 rewrite.k:807 rewrite.k:810 rewrite.k:814 secs. rewrite.k:749 rewrite.k:787 rewrite.k:813 rewrite.k:812 rewrite.k:811 rewrite.k:810 rewrite.k:806 rewrite.k:812 rewrite.k:815 rewrite.k:807 rewrite.k:813 rewrite.k:810 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 562860 m, 112572 m/sec, 5031956 t fired, . in use: 3 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 1063804 m, 100188 m/sec, 10442617 t fired, . in use: 5 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 1497028 m, 86644 m/sec, 15299463 t fired, . in use: 7 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 1913699 m, 83334 m/sec, 20358778 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 2323527 m, 81965 m/sec, 25544008 t fired, . in use: 10 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 2733745 m, 82043 m/sec, 30587297 t fired, . in use: 12 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 3118036 m, 76858 m/sec, 35739948 t fired, . in use: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 3506230 m, 77638 m/sec, 40895408 t fired, . in use: 15 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 3879514 m, 74656 m/sec, 45957292 t fired, . in use: 17 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 4216745 m, 67446 m/sec, 50731026 t fired, . in use: 18 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 4563452 m, 69341 m/sec, 55623331 t fired, . in use: 20 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 4916563 m, 70622 m/sec, 60524686 t fired, . in use: 21 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 5260372 m, 68761 m/sec, 65398902 t fired, . in use: 23 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 5584893 m, 64904 m/sec, 70232871 t fired, . in use: 24 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 5899263 m, 62874 m/sec, 74942408 t fired, . in use: 25 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 6222525 m, 64652 m/sec, 79691031 t fired, . in use: 27 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 6518151 m, 59125 m/sec, 84166278 t fired, . in use: 28 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 6782734 m, 52916 m/sec, 88389851 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 7051442 m, 53741 m/sec, 92630053 t fired, . in use: 30 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 Solitaire-PT-SqrNC5x5-CTLFireability-05 7349261 m, 59563 m/sec, 97176643 t fired, . in use: 31 EXCL) for Solitaire-PT-SqrNC5x5-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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 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 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 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 EXCL) for 13 Solitaire-PT-SqrNC5x5-CTLFireability-03 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-03 25 24 0.000000 1 EXCL) for 46 Solitaire-PT-SqrNC5x5-CTLFireability-14 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-14 24 47 0.000000 1 EXCL) for 43 Solitaire-PT-SqrNC5x5-CTLFireability-13 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-13 31 50 0.000000 1 EXCL) for 37 Solitaire-PT-SqrNC5x5-CTLFireability-11 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-11 24 24 0.000000 1 EXCL) for 34 Solitaire-PT-SqrNC5x5-CTLFireability-10 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-10 24 49 0.000000 1 EXCL) for 28 Solitaire-PT-SqrNC5x5-CTLFireability-08 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 537912 m, 107582 m/sec, 4379037 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 1018715 m, 96160 m/sec, 9142284 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 1466550 m, 89567 m/sec, 13816478 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 1889825 m, 84655 m/sec, 18479583 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 2272609 m, 76556 m/sec, 23074774 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 2691189 m, 83716 m/sec, 27964279 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 3080693 m, 77900 m/sec, 32770392 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 3456764 m, 75214 m/sec, 37515998 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 3826900 m, 74027 m/sec, 42225134 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 4174620 m, 69544 m/sec, 46821574 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 4513563 m, 67788 m/sec, 51384106 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 4878149 m, 72917 m/sec, 55976510 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 5196651 m, 63700 m/sec, 60303416 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 5512769 m, 63223 m/sec, 64655350 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 5823558 m, 62157 m/sec, 69054212 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 6140751 m, 63438 m/sec, 73352757 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 6446821 m, 61214 m/sec, 77716137 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 6734167 m, 57469 m/sec, 81976917 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 7019199 m, 57006 m/sec, 86204411 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 7321533 m, 60466 m/sec, 90562793 t fired, . in use: 32 VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Solitaire-PT-SqrNC5x5-CTLFireability-08 7610813 m, 57856 m/sec, 94760490 t fired, . in use: 32 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY AXAF false state space /EXEG CTL true CTL model checker CTL false 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 CONJ 0 2 0 0 2 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 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 EXCL) for 10 Solitaire-PT-SqrNC5x5-CTLFireability-02 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-02 24 24 0.000000 1 for 3 Solitaire-PT-SqrNC5x5-CTLFireability-01 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-01 0.000000 1 EXCL) for 49 Solitaire-PT-SqrNC5x5-CTLFireability-15 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-15 29 28 0.000000 1 for 0 Solitaire-PT-SqrNC5x5-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 3/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 594701 m, 118940 m/sec, 5346774 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 5/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 1097892 m, 100638 m/sec, 10784686 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 7/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 1590053 m, 98432 m/sec, 16241472 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 9/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 2033203 m, 88630 m/sec, 21565440 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 11/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 2466666 m, 86692 m/sec, 26924245 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 13/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 2889931 m, 84653 m/sec, 32291358 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 14/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 3283350 m, 78683 m/sec, 37490191 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 16/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 3669520 m, 77234 m/sec, 42673240 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 17/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 4044885 m, 75073 m/sec, 47748741 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 19/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 4392681 m, 69559 m/sec, 52669604 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 21/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 4796705 m, 80804 m/sec, 57993372 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 22/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 5168588 m, 74376 m/sec, 63240852 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 24/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 5527016 m, 71685 m/sec, 68389258 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 25/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 5867628 m, 68122 m/sec, 73392983 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 27/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 6222361 m, 70946 m/sec, 78448017 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 28/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 6552684 m, 66064 m/sec, 83410610 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 29/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 6868669 m, 63197 m/sec, 88271213 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 7188425 m, 63951 m/sec, 93158559 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 1 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS 32/32 Solitaire-PT-SqrNC5x5-CTLFireability-00 7523309 m, 66976 m/sec, 98210515 t fired, . in use: 32 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 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 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 MEM PG/PGLIMIT FORMULA STATUS in use: 32 EXCL) for 40 Solitaire-PT-SqrNC5x5-CTLFireability-12 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-12 41 82 0.000000 1 EXCL) for 22 Solitaire-PT-SqrNC5x5-CTLFireability-06 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-06 24 48 0.000000 1 for 3 Solitaire-PT-SqrNC5x5-CTLFireability-01 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 1 0 3 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Solitaire-PT-SqrNC5x5-CTLFireability-01 1691085 m, 338217 m/sec, 4364624 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 1 0 3 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Solitaire-PT-SqrNC5x5-CTLFireability-01 3006498 m, 263082 m/sec, 8565209 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 1 0 3 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Solitaire-PT-SqrNC5x5-CTLFireability-01 4228398 m, 244380 m/sec, 12730632 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 1 0 3 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Solitaire-PT-SqrNC5x5-CTLFireability-01 5425960 m, 239512 m/sec, 17079237 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 1 0 3 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 Solitaire-PT-SqrNC5x5-CTLFireability-01 6424881 m, 199784 m/sec, 21218318 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 1 0 3 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Solitaire-PT-SqrNC5x5-CTLFireability-01 7434746 m, 201973 m/sec, 25247826 t fired, . in use: 32 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 EXCL) for 16 Solitaire-PT-SqrNC5x5-CTLFireability-04 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 942756 m, 188551 m/sec, 4167703 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 1732997 m, 158048 m/sec, 8205197 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 2429311 m, 139262 m/sec, 12183014 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 3084523 m, 131042 m/sec, 16168015 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 3749400 m, 132975 m/sec, 20034311 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 4469468 m, 144013 m/sec, 23906392 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 5165909 m, 139288 m/sec, 27618928 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 5803195 m, 127457 m/sec, 31474400 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 6413323 m, 122025 m/sec, 35270632 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 6966606 m, 110656 m/sec, 39196820 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Solitaire-PT-SqrNC5x5-CTLFireability-04 7547878 m, 116254 m/sec, 43051196 t fired, . in use: 32 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-04 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AXAF false state space /EXEG CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG IDL ACT RUN SUS FIN C/T C/M OBS AFAG 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 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 MEM PG/PGLIMIT FORMULA STATUS in use: 32 EXCL) for 25 Solitaire-PT-SqrNC5x5-CTLFireability-07 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-07 4417 14348 0.000000 1 EXCL) for 31 Solitaire-PT-SqrNC5x5-CTLFireability-09 EXCL) for Solitaire-PT-SqrNC5x5-CTLFireability-09 24 94 0.000000 1 open tasks 16 VALUE PRODUCED BY AFAG unknown AGGR CONJ unknown CONJ CTL false CTL model checker AXAF false state space /EXEG CTL unknown AGGR CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker F false state space / EG 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="Solitaire-PT-SqrNC5x5"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lolaxred"
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 lolaxred"
echo " Input is Solitaire-PT-SqrNC5x5, 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 r455-smll-167912647200346"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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