MCC'2023- Execution of r263-smll-167863537700058

About the Execution of LoLa+red for NQueens-PT-25

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3910.264	571425.00	562970.00	1845.00	?T?FTT????F?T???	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-inpu
Waiting for the VM to be
................................
==========
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is NQueens-PT-25,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r263-smll-
================================

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

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi
FORMULA_NAME NQueens-PT-25-CTLFi

=== Now, execution of the

BK_START 1678714100048

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/b
BK_TIME_CONFINEMENT=3600
BK_INPUT=NQueens-PT-25
Applying reductions before
Invoking reducer
Running Version 202303021504
[2023-03-13 13:28:23] [INFO
[2023-03-13 13:28:23] [INFO
[2023-03-13 13:28:24] [INFO
[2023-03-13 13:28:24] [INFO
[2023-03-13 13:28:24] [INFO
[2023-03-13 13:28:24] [INFO
Parsed 16 properties from
Reduce places removed 2
Support contains 134 out
Starting structural reductions
Reduce places removed 625
Iterating post reduction
Applied a total of 625
// Phase 1: matrix 625
[2023-03-13 13:28:24] [INFO
[2023-03-13 13:28:24] [INFO
// Phase 1: matrix 625
[2023-03-13 13:28:25] [INFO
[2023-03-13 13:28:25] [INFO
Discarding 2 places :
Implicit Place search using
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
Support contains 134 out
[2023-03-13 13:28:26] [INFO
[2023-03-13 13:28:26] [INFO
[2023-03-13 13:28:26] [INFO
Finished random walk after 97
[2023-03-13 13:28:26] [INFO
[2023-03-13 13:28:26] [INFO
[2023-03-13 13:28:27] [INFO
Computed a total of 146
Complete graph has no SCC;
Detected that all paths
AF dead knowledge conclusive
FORMULA NQueens-PT-25-CTLFireability-03
FORMULA NQueens-PT-25-CTL
Starting structural
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:27] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:28] [INFO
[2023-03-13 13:28:29] [INFO
[2023-03-13 13:28:29] [INFO
[2023-03-13 13:28:29] [INFO
Total runtime 5526 ms.
There are residual formulas
starting LoLA
BK_INPUT NQueens-PT-25
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKi
current directory: /home/mcc/exe
CTLFireability

FORMULA NQueens-PT-25-CTLFireability-10

FORMULA NQueens-PT-25-CTLFireability-05

FORMULA NQueens-PT-25-CTLFireability-04

FORMULA NQueens-PT-25-CTLFireability-01

BK_STOP 1678714671473

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/Be
+ PYTHONPATH=/home/mcc/BenchKit/
+ export LD_LIBRARY_PATH=/home/m
+ LD_LIBRARY_PATH=/home/mcc/Benc
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..
+ VERSION=202303021504
+ echo 'Running Version
+ /home/mcc/BenchKit/bin//../red
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 7
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 55
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 56
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 58
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task #
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: planning for (null)
sara: try reading problem
sara: error: :11: error:
sara: error while reading
sara: see manual for a
sara: last error message:
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: FINISHED task #
lola: result
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 5/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 10/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 15/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 20/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 25/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 30/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 35/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 40/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 45/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 50/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 55/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 60/239

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 66 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 52
lola: time limit : 252 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 5/252

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 10/252

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 15/252

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 20/252

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 25/252

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 96 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 49
lola: time limit : 269 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 5/269

Time elapsed: 101 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 10/269

Time elapsed: 106 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 15/269

Time elapsed: 111 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 20/269

Time elapsed: 116 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 25/269

Time elapsed: 121 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 30/269

Time elapsed: 126 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 35/269

Time elapsed: 131 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 40/269

Time elapsed: 136 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 45/269

Time elapsed: 141 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 50/269

Time elapsed: 146 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 55/269

Time elapsed: 151 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 60/269

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 161 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 46
lola: time limit : 286 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 166 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 171 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 176 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 181 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 186 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 191 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 196 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 201 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 206 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 50/286

Time elapsed: 211 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 55/286

Time elapsed: 216 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 60/286

Time elapsed: 221 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 65/286

Time elapsed: 226 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 70/286

Time elapsed: 231 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 75/286

Time elapsed: 236 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 80/286

Time elapsed: 241 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 85/286

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 251 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 43
lola: time limit : 304 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 5/304

Time elapsed: 256 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 10/304

Time elapsed: 261 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 15/304

Time elapsed: 266 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 20/304

Time elapsed: 271 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 25/304

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

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 281 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 40
lola: time limit : 331 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 30
lola: time limit : 414 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 5/414

Time elapsed: 286 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 10/414

Time elapsed: 291 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 15/414

Time elapsed: 296 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 301 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 25/414

Time elapsed: 306 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 30/414

Time elapsed: 311 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 35/414

Time elapsed: 316 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 40/414

Time elapsed: 321 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 45/414

Time elapsed: 326 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 50/414

Time elapsed: 331 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 55/414

Time elapsed: 336 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 60/414

Time elapsed: 341 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 346 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 13
lola: time limit : 464 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10
lola: time limit : 542 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 4
lola: time limit : 650 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1
lola: time limit : 813 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 351 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 356 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 361 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 366 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 371 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 376 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 381 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 386 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 391 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 396 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 401 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 406 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 411 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

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

Time elapsed: 416 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 421 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 21
lola: time limit : 1059 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 5/1059

Time elapsed: 426 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 10/1059

Time elapsed: 431 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 15/1059

Time elapsed: 436 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 20/1059

Time elapsed: 441 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 25/1059

Time elapsed: 446 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 30/1059

Time elapsed: 451 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 35/1059

Time elapsed: 456 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 40/1059

Time elapsed: 461 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 CTL EXCL 45/1059

Time elapsed: 466 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 471 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 33
lola: time limit : 1564 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 5/1564

Time elapsed: 476 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 10/1564

Time elapsed: 481 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 15/1564

Time elapsed: 486 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 20/1564

Time elapsed: 491 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 25/1564

Time elapsed: 496 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 30/1564

Time elapsed: 501 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 35/1564

Time elapsed: 506 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 40/1564

Time elapsed: 511 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 45/1564

Time elapsed: 516 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 50/1564

Time elapsed: 521 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 55/1564

Time elapsed: 526 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 60/1564

Time elapsed: 531 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 536 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 16
lola: time limit : 3064 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 5/3064

Time elapsed: 541 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 10/3064

Time elapsed: 546 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 15/3064

Time elapsed: 551 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 20/3064

Time elapsed: 556 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-10:

PENDING FORMULAS: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 561 secs.
# running tasks: 1 of 4
lola: Portfolio finished:

FINAL RESULTS
FINISHED FORMULA: CATEGORY
NQueens-PT-25-CTLFireability-00:
NQueens-PT-25-CTLFireability-01:
NQueens-PT-25-CTLFireability-02:
NQueens-PT-25-CTLFireability-04:
NQueens-PT-25-CTLFireability-05:
NQueens-PT-25-CTLFireability-06:
NQueens-PT-25-CTLFireability-07:
NQueens-PT-25-CTLFireability-08:
NQueens-PT-25-CTLFireability-09:
NQueens-PT-25-CTLFireability-10:
NQueens-PT-25-CTLFireability-11:
NQueens-PT-25-CTLFireability-13:
NQueens-PT-25-CTLFireability-14:
NQueens-PT-25-CTLFireability-15:

Time elapsed: 561 secs.
t.r263-smll-167863537700058.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ready (probing ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =========================================================== examination is CTLFireability 3600 seconds is 16384 MBytes 167863537700058 ===================================== to be used: 9.1K Feb 26 17:12 CTLCardinality.txt 102K Feb 26 17:12 CTLCardinality.xml 7.2K Feb 26 17:11 CTLFireability.txt 61K Feb 26 17:11 CTLFireability.xml 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml 6.5K Jan 29 11:40 GenericPropertiesVerdict.xml 3.5K Feb 25 16:26 LTLCardinality.txt 23K Feb 25 16:26 LTLCardinality.xml 2.5K Feb 25 16:27 LTLFireability.txt 18K Feb 25 16:27 LTLFireability.xml 16K Feb 26 17:14 ReachabilityCardinality.txt 167K Feb 26 17:14 ReachabilityCardinality.xml 11K Feb 26 17:13 ReachabilityFireability.txt 74K Feb 26 17:13 ReachabilityFireability.xml 1.6K Feb 25 16:27 UpperBounds.txt 3.6K Feb 25 16:27 UpperBounds.xml 6 Mar 5 18:22 equiv_col 3 Mar 5 18:22 instance 6 Mar 5 18:22 iscolored 5 18:22 model.pnml generated by BenchKit (invocation template) a vector of booleans to build 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 tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N in/ tool lola ] 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): 267 ms ] Transformed 775 places. ] Transformed 625 transitions. ] Parsed PT model containing 775 places and 625 transitions and 3125 arcs in 503 ms. file /home/mcc/execution/CTLFireability.xml in 23 ms. places and 0 transitions. of 773 places. Attempting structural reductions. in LTL mode, iteration 0 : 773/773 places, 625/625 transitions. places and 0 transitions. 0 with 625 rules applied. Total rules applied 625 place count 148 transition count 625 rules in 64 ms. Remains 148 /773 variables (removed 625) and now considering 625/625 (removed 0) transitions. rows 148 cols ] Invariants computation overflowed in 197 ms ] Implicit Places using invariants in 630 ms returned [] rows 148 cols ] Invariants computation overflowed in 166 ms ] Implicit Places using invariants and state equation in 705 ms returned [98, 99] SMT with State Equation took 1403 ms to find 2 implicit places. in LTL mode, iteration 1 : 146/773 places, 625/625 transitions. in 5 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 2 iterations and 1473 ms. Remains : 146/773 places, 625/625 transitions. of 146 places after structural reductions. ] Flatten gal took : 242 ms ] Flatten gal took : 95 ms ] Input system was already deterministic with 625 transitions. steps, including 4 resets, run visited all 106 properties in 34 ms. (steps per millisecond=2 ) ] Flatten gal took : 65 ms ] Flatten gal took : 66 ms ] Input system was already deterministic with 625 transitions. stabilizing places and 625 stable transitions deadlocks are unavoidable. place count 146 transition count 625 lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false). for 5 formulas. FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE Fireability-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE reductions in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 9 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 10 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 39 ms ] Flatten gal took : 43 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 12 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 12 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 36 ms ] Flatten gal took : 36 ms ] Input system was already deterministic with 625 transitions. in SI_CTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 22 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 23 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 31 ms ] Flatten gal took : 38 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 5 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 6 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 37 ms ] Flatten gal took : 35 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 5 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 6 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 28 ms ] Flatten gal took : 31 ms ] Input system was already deterministic with 625 transitions. in SI_CTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 9 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 9 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 27 ms ] Flatten gal took : 29 ms ] Input system was already deterministic with 625 transitions. in SI_CTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 10 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 11 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 26 ms ] Flatten gal took : 29 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 3 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 3 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 27 ms ] Flatten gal took : 31 ms ] Input system was already deterministic with 625 transitions. in SI_CTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 8 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 8 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 25 ms ] Flatten gal took : 26 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 4 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 5 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 25 ms ] Flatten gal took : 26 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 3 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 4 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 25 ms ] Flatten gal took : 26 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 3 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 4 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 24 ms ] Flatten gal took : 30 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 2 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 3 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 25 ms ] Flatten gal took : 27 ms ] Input system was already deterministic with 625 transitions. in LTL mode, iteration 0 : 146/146 places, 625/625 transitions. in 3 ms. Remains 146 /146 variables (removed 0) and now considering 625/625 (removed 0) transitions. in LTL mode , in 1 iterations and 3 ms. Remains : 146/146 places, 625/625 transitions. ] Flatten gal took : 22 ms ] Flatten gal took : 29 ms ] Input system was already deterministic with 625 transitions. ] Flatten gal took : 29 ms ] Flatten gal took : 27 ms ] Export to MCC of 14 properties in file /home/mcc/execution/CTLFireability.sr.xml took 8 ms. ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 146 places, 625 transitions and 2498 arcs took 5 ms. that ITS could not solve within timeout t/bin//../reducer/bin//../../lola/bin/ cution/372 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 592 nchKit/itstools/pylibs itstools/pylibs cc/BenchKit/itstools/pylibs: hKit/itstools/pylibs: /reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar 202303021504' ucer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML (--pnmlnet) /home/mcc/execution/372/model.pnml place/transition net /home/mcc/execution/372/model.pnml (--xmlformula) from /home/mcc/execution/372/CTLFireability.xml formula_rewrite.k:314 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:340 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:475 formula_rewrite.k:544 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:544 formula_rewrite.k:457 formula_rewrite.k:388 formula_rewrite.k:478 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:544 formula_rewrite.k:547 formula_rewrite.k:250 formula_rewrite.k:253 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:544 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:98 formula_rewrite.k:168 formula_rewrite.k:394 formula_rewrite.k:478 formula_rewrite.k:553 formula_rewrite.k:253 formula_rewrite.k:550 formula_rewrite.k:253 formula_rewrite.k:544 formula_rewrite.k:544 formula_rewrite.k:544 formula_rewrite.k:253 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:96 formula_rewrite.k:138 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. formula_rewrite.k:806 formula_rewrite.k:813 (type EXCL) for 6 NQueens-PT-25-CTLFireability-02 formula_rewrite.k:721 formula_rewrite.k:788 formula_rewrite.k:721 formula_rewrite.k:788 formula_rewrite.k:721 formula_rewrite.k:788 (type FNDP) for 18 NQueens-PT-25-CTLFireability-07 32000000 sec (type EQUN) for 18 NQueens-PT-25-CTLFireability-07 32000000 sec (type SRCH) for 18 NQueens-PT-25-CTLFireability-07 32000000 sec formula_rewrite.k:721 formula_rewrite.k:788 58 (type SRCH) for NQueens-PT-25-CTLFireability-07 : unknown 0.000000 1 55 (type FNDP) for NQueens-PT-25-CTLFireability-07 : true 1 0.000000 0 56 (type EQUN) for NQueens-PT-25-CTLFireability-07 (obsolete) stopped (result already fixed). file /home/mcc/execution/372/CTLFireability-56.sara. syntax error, unexpected $end, expecting KEY_TRANSITION Petri net from file -- aborting [#04] documentation of this error No such file or directory formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:809 56 (type EQUN) for NQueens-PT-25-CTLFireability-07 : unknown formula_rewrite.k:812 formula_rewrite.k:808 formula_rewrite.k:813 formula_rewrite.k:814 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:809 formula_rewrite.k:808 formula_rewrite.k:809 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:810 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:812 formula_rewrite.k:811 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:815 formula_rewrite.k:811 formula_rewrite.k:815 formula_rewrite.k:815 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:810 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:806 formula_rewrite.k:812 formula_rewrite.k:814 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:814 formula_rewrite.k:811 formula_rewrite.k:814 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:810 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:814 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:814 formula_rewrite.k:813 formula_rewrite.k:806 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-25-CTLFireability-02 431228 m, 86245 m/sec, 2272999 t fired, . Pages in use: 3 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-25-CTLFireability-02 911051 m, 95964 m/sec, 4947357 t fired, . Pages in use: 6 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-25-CTLFireability-02 1392518 m, 96293 m/sec, 7535454 t fired, . Pages in use: 9 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 NQueens-PT-25-CTLFireability-02 1802759 m, 82048 m/sec, 10041995 t fired, . Pages in use: 11 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-25-CTLFireability-02 2276134 m, 94675 m/sec, 12592071 t fired, . Pages in use: 14 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 NQueens-PT-25-CTLFireability-02 2714376 m, 87648 m/sec, 15161449 t fired, . Pages in use: 17 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-02 3148538 m, 86832 m/sec, 17740194 t fired, . Pages in use: 19 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-02 3551284 m, 80549 m/sec, 20298905 t fired, . Pages in use: 21 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-25-CTLFireability-02 3992313 m, 88205 m/sec, 22844081 t fired, . Pages in use: 24 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-25-CTLFireability-02 4420112 m, 85559 m/sec, 25394112 t fired, . Pages in use: 26 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-25-CTLFireability-02 4813210 m, 78619 m/sec, 27956819 t fired, . Pages in use: 29 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-25-CTLFireability-02 5237945 m, 84947 m/sec, 30497813 t fired, . Pages in use: 31 Visible: 14 7 (type EXCL) for NQueens-PT-25-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 51 NQueens-PT-25-CTLFireability-15 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-25-CTLFireability-15 1005681 m, 201136 m/sec, 1656304 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 NQueens-PT-25-CTLFireability-15 2035787 m, 206021 m/sec, 3375135 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-15 3037607 m, 200364 m/sec, 5121089 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-25-CTLFireability-15 4021812 m, 196841 m/sec, 6836711 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-25-CTLFireability-15 5023837 m, 200405 m/sec, 8514604 t fired, . Pages in use: 32 Visible: 14 52 (type EXCL) for NQueens-PT-25-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 48 NQueens-PT-25-CTLFireability-14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-25-CTLFireability-14 480066 m, 96013 m/sec, 2439052 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-25-CTLFireability-14 924199 m, 88826 m/sec, 4956703 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-25-CTLFireability-14 1357494 m, 86659 m/sec, 7556555 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 NQueens-PT-25-CTLFireability-14 1814361 m, 91373 m/sec, 10095334 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-25-CTLFireability-14 2244057 m, 85939 m/sec, 12630794 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 NQueens-PT-25-CTLFireability-14 2657689 m, 82726 m/sec, 15138933 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-14 3106953 m, 89852 m/sec, 17598790 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-14 3466322 m, 71873 m/sec, 20106944 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 NQueens-PT-25-CTLFireability-14 3927278 m, 92191 m/sec, 22528903 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-25-CTLFireability-14 4336099 m, 81764 m/sec, 25010633 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 NQueens-PT-25-CTLFireability-14 4730998 m, 78979 m/sec, 27459696 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 NQueens-PT-25-CTLFireability-14 5127737 m, 79347 m/sec, 29873774 t fired, . Pages in use: 32 Visible: 14 49 (type EXCL) for NQueens-PT-25-CTLFireability-14 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 45 NQueens-PT-25-CTLFireability-13 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-25-CTLFireability-13 338973 m, 67794 m/sec, 2181377 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 NQueens-PT-25-CTLFireability-13 702046 m, 72614 m/sec, 4362519 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-25-CTLFireability-13 1029342 m, 65459 m/sec, 6552483 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-25-CTLFireability-13 1358129 m, 65757 m/sec, 8733317 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 NQueens-PT-25-CTLFireability-13 1681344 m, 64643 m/sec, 10905701 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-25-CTLFireability-13 2004173 m, 64565 m/sec, 13066846 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-25-CTLFireability-13 2318620 m, 62889 m/sec, 15218997 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 NQueens-PT-25-CTLFireability-13 2635724 m, 63420 m/sec, 17376408 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 NQueens-PT-25-CTLFireability-13 2935735 m, 60002 m/sec, 19558757 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 NQueens-PT-25-CTLFireability-13 3267460 m, 66345 m/sec, 21656772 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-13 3549269 m, 56361 m/sec, 23824079 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 NQueens-PT-25-CTLFireability-13 3869974 m, 64141 m/sec, 25949146 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-25-CTLFireability-13 4158756 m, 57756 m/sec, 28116320 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-25-CTLFireability-13 4482728 m, 64794 m/sec, 30236644 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 NQueens-PT-25-CTLFireability-13 4757623 m, 54979 m/sec, 32407669 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 NQueens-PT-25-CTLFireability-13 5053543 m, 59184 m/sec, 34569475 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-25-CTLFireability-13 5363067 m, 61904 m/sec, 36675977 t fired, . Pages in use: 32 Visible: 14 46 (type EXCL) for NQueens-PT-25-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 42 NQueens-PT-25-CTLFireability-11 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-25-CTLFireability-11 1082719 m, 216543 m/sec, 1396532 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 NQueens-PT-25-CTLFireability-11 2158580 m, 215172 m/sec, 2834026 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-11 3203471 m, 208978 m/sec, 4232340 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-25-CTLFireability-11 4231060 m, 205517 m/sec, 5612630 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-25-CTLFireability-11 5256257 m, 205039 m/sec, 6986250 t fired, . Pages in use: 32 Visible: 14 43 (type EXCL) for NQueens-PT-25-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 35 NQueens-PT-25-CTLFireability-10 40 (type EXCL) for NQueens-PT-25-CTLFireability-10 : false 0.000000 1 (type EXCL) for 29 NQueens-PT-25-CTLFireability-08 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-25-CTLFireability-08 486125 m, 97225 m/sec, 2531045 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-25-CTLFireability-08 957498 m, 94274 m/sec, 5164151 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-25-CTLFireability-08 1427417 m, 93983 m/sec, 7729385 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-25-CTLFireability-08 1858294 m, 86175 m/sec, 10312012 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-25-CTLFireability-08 2313730 m, 91087 m/sec, 12855862 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 NQueens-PT-25-CTLFireability-08 2746819 m, 86617 m/sec, 15371175 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-08 3177051 m, 86046 m/sec, 17893839 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-08 3559923 m, 76574 m/sec, 20409478 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-25-CTLFireability-08 4002916 m, 88598 m/sec, 22921482 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-25-CTLFireability-08 4426088 m, 84634 m/sec, 25441336 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-25-CTLFireability-08 4812539 m, 77290 m/sec, 27952134 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 CTL 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-25-CTLFireability-08 5229216 m, 83335 m/sec, 30440687 t fired, . Pages in use: 32 Visible: 14 30 (type EXCL) for NQueens-PT-25-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 1 0 0 1 0 0 0 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 12 NQueens-PT-25-CTLFireability-05 13 (type EXCL) for NQueens-PT-25-CTLFireability-05 : true 19 65 0.000000 1 (type EXCL) for 9 NQueens-PT-25-CTLFireability-04 10 (type EXCL) for NQueens-PT-25-CTLFireability-04 : true 61 179 0.000000 1 (type EXCL) for 3 NQueens-PT-25-CTLFireability-01 4 (type EXCL) for NQueens-PT-25-CTLFireability-01 : true 19 42 0.000000 1 (type EXCL) for 0 NQueens-PT-25-CTLFireability-00 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-25-CTLFireability-00 425559 m, 85111 m/sec, 2710367 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-25-CTLFireability-00 839426 m, 82773 m/sec, 5517109 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 NQueens-PT-25-CTLFireability-00 1259991 m, 84113 m/sec, 8225738 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 NQueens-PT-25-CTLFireability-00 1673789 m, 82759 m/sec, 10945518 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 NQueens-PT-25-CTLFireability-00 2076038 m, 80449 m/sec, 13643977 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 NQueens-PT-25-CTLFireability-00 2444510 m, 73694 m/sec, 16351586 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 NQueens-PT-25-CTLFireability-00 2825024 m, 76102 m/sec, 19023446 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 NQueens-PT-25-CTLFireability-00 3238841 m, 82763 m/sec, 21666709 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-00 3571924 m, 66616 m/sec, 24319596 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-25-CTLFireability-00 3977352 m, 81085 m/sec, 26962517 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-25-CTLFireability-00 4346534 m, 73836 m/sec, 29620074 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 NQueens-PT-25-CTLFireability-00 4682351 m, 67163 m/sec, 32283419 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 NQueens-PT-25-CTLFireability-00 5022803 m, 68090 m/sec, 34707126 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-25-CTLFireability-00 5391936 m, 73826 m/sec, 37355272 t fired, . Pages in use: 32 Visible: 14 1 (type EXCL) for NQueens-PT-25-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 1 0 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 18 NQueens-PT-25-CTLFireability-07 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 NQueens-PT-25-CTLFireability-07 618647 m, 123729 m/sec, 1776264 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 NQueens-PT-25-CTLFireability-07 1238260 m, 123922 m/sec, 3590755 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-25-CTLFireability-07 1843749 m, 121097 m/sec, 5367379 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 NQueens-PT-25-CTLFireability-07 2435287 m, 118307 m/sec, 7107133 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-07 3029303 m, 118803 m/sec, 8812757 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 NQueens-PT-25-CTLFireability-07 3610537 m, 116246 m/sec, 10536336 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-25-CTLFireability-07 4192917 m, 116476 m/sec, 12281875 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-25-CTLFireability-07 4756324 m, 112681 m/sec, 13944316 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 1 0 7 0 0 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-25-CTLFireability-07 5333401 m, 115415 m/sec, 15656831 t fired, . Pages in use: 32 Visible: 14 21 (type EXCL) for NQueens-PT-25-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 32 NQueens-PT-25-CTLFireability-09 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-25-CTLFireability-09 492960 m, 98592 m/sec, 2580765 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-25-CTLFireability-09 966115 m, 94631 m/sec, 5200289 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-25-CTLFireability-09 1435571 m, 93891 m/sec, 7770144 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-25-CTLFireability-09 1869001 m, 86686 m/sec, 10358980 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-25-CTLFireability-09 2319864 m, 90172 m/sec, 12908659 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 NQueens-PT-25-CTLFireability-09 2757305 m, 87488 m/sec, 15435262 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-25-CTLFireability-09 3192113 m, 86961 m/sec, 17965091 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-09 3566482 m, 74873 m/sec, 20494859 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-25-CTLFireability-09 4011385 m, 88980 m/sec, 22997964 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-25-CTLFireability-09 4440463 m, 85815 m/sec, 25506155 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-25-CTLFireability-09 4824176 m, 76742 m/sec, 28020993 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-25-CTLFireability-09 5241255 m, 83415 m/sec, 30511933 t fired, . Pages in use: 32 Visible: 14 33 (type EXCL) for NQueens-PT-25-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 (type EXCL) for 15 NQueens-PT-25-CTLFireability-06 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-25-CTLFireability-06 1122712 m, 224542 m/sec, 1308101 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-25-CTLFireability-06 2249490 m, 225355 m/sec, 2636553 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-25-CTLFireability-06 3346190 m, 219340 m/sec, 3940875 t fired, . Pages in use: 32 Visible: 14 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-25-CTLFireability-06 4397463 m, 210254 m/sec, 5237805 t fired, . Pages in use: 32 Visible: 14 16 (type EXCL) for NQueens-PT-25-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CONJ false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 7 0 1 1 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 14 no open tasks 14 VALUE PRODUCED BY CTL unknown AGGR CTL true CTL model checker CTL unknown AGGR CTL true CTL model checker CTL true CTL model checker CTL unknown AGGR DISJ unknown DISJ CTL unknown AGGR CTL unknown AGGR CONJ false CTL model checker CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR Pages 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="NQueens-PT-25"
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 NQueens-PT-25, 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 r263-smll-167863537700058"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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