MCC'2023- Execution of r454-smll-167912646700626

About the Execution of LoLA for StigmergyElection-PT-06b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3386.359	582675.00	577659.00	2030.70	??FFTFFT????TFT?	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r454-smll
Waiting for the VM to be ready (probing
...........................................
=====================
Generated by BenchKit 2-5348
Executing tool lola
Input is StigmergyElection-PT-06b,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r454-smll-16791264670
===========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 7.8K Feb 26
-rw-r--r-- 1 mcc users 86K Feb 26
-rw-r--r-- 1 mcc users 5.1K Feb 26
-rw-r--r-- 1 mcc users 44K Feb 26
-rw-r--r-- 1 mcc users 3.2K Feb 25
-rw-r--r-- 1 mcc users 20K Feb 25
-rw-r--r-- 1 mcc users 2.4K Feb 25
-rw-r--r-- 1 mcc users 19K Feb 25
-rw-r--r-- 1 mcc users 7.2K Feb 26
-rw-r--r-- 1 mcc users 67K Feb 26
-rw-r--r-- 1 mcc users 7.2K Feb 26
-rw-r--r-- 1 mcc users 57K Feb 26
-rw-r--r-- 1 mcc users 1.7K Feb 25
-rw-r--r-- 1 mcc users 3.8K Feb 25
-rw-r--r-- 1 mcc users 6 Mar 5
-rw-r--r-- 1 mcc users 4 Mar 5
-rw-r--r-- 1 mcc users 6 Mar 5
-rw-r--r-- 1 mcc users 1.2M Mar 5

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

=== Data for post analysis generated

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi
FORMULA_NAME StigmergyElection-PT-06b-CTLFi

=== Now, execution of the tool begins

BK_START 1679448889314

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

FORMULA StigmergyElection-PT-06b-CTLFireability-04

FORMULA StigmergyElection-PT-06b-CTLFireability-05

FORMULA StigmergyElection-PT-06b-CTLFireability-06

FORMULA StigmergyElection-PT-06b-CTLFireability-14

FORMULA StigmergyElection-PT-06b-CTLFireability-13

FORMULA StigmergyElection-PT-06b-CTLFireability-12

FORMULA StigmergyElection-PT-06b-CTLFireability-07

FORMULA StigmergyElection-PT-06b-CTLFireability-02

FORMULA StigmergyElection-PT-06b-CTLFireability-03

BK_STOP 1679449471989

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/executio
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execution
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/exec
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 17 (type EXCL)
lola: time limit : 156 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 17 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 46 (type EXCL)
lola: time limit : 171 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 0/171

Time elapsed: 7 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: planning for (null) stopped
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 12 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 17 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 22 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 27 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 32 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 37 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 42 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 47 secs. Pages in use: 21
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 52 secs. Pages in use: 24
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 57 secs. Pages in use: 27
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 62 secs. Pages in use: 29
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

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

Time elapsed: 67 secs. Pages in use: 31
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 46 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 72 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 77 (type EXCL)
lola: time limit : 176 sec
lola: memory limit: 32 pages
lola: FINISHED task # 77 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 76 (type EXCL)
lola: time limit : 185 sec
lola: memory limit: 32 pages
lola: FINISHED task # 76 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 74 (type EXCL)
lola: time limit : 220 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 5/220

Time elapsed: 77 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 10/220

Time elapsed: 82 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 15/220

Time elapsed: 87 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 20/220

Time elapsed: 92 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 25/220

Time elapsed: 97 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 30/220

Time elapsed: 102 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 35/220

Time elapsed: 107 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 40/220

Time elapsed: 112 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 45/220

Time elapsed: 117 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 50/220

Time elapsed: 122 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 55/220

Time elapsed: 127 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 60/220

Time elapsed: 132 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 65/220

Time elapsed: 137 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 70/220

Time elapsed: 142 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 75/220

Time elapsed: 147 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 80/220

Time elapsed: 152 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 85/220

Time elapsed: 157 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 CTL EXCL 90/220

Time elapsed: 162 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 74 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 167 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 71 (type EXCL)
lola: time limit : 228 sec
lola: memory limit: 32 pages
lola: FINISHED task # 71 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 68 (type EXCL)
lola: time limit : 245 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 5/245

Time elapsed: 172 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 10/245

Time elapsed: 177 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 15/245

Time elapsed: 182 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 20/245

Time elapsed: 187 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 25/245

Time elapsed: 192 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 30/245

Time elapsed: 197 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 35/245

Time elapsed: 202 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 40/245

Time elapsed: 207 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 45/245

Time elapsed: 212 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 50/245

Time elapsed: 217 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 55/245

Time elapsed: 222 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 60/245

Time elapsed: 227 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 65/245

Time elapsed: 232 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
68 CTL EXCL 70/245

Time elapsed: 237 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 68 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 242 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 66 (type EXCL)
lola: time limit : 258 sec
lola: memory limit: 32 pages
lola: FINISHED task # 66 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 58 (type EXCL)
lola: time limit : 305 sec
lola: memory limit: 32 pages
lola: FINISHED task # 58 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 53 (type EXCL)
lola: time limit : 335 sec
lola: memory limit: 32 pages
lola: FINISHED task # 53 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 43 (type EXCL)
lola: time limit : 419 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 247 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 252 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 257 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 262 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 267 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 30/419

Time elapsed: 272 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 35/419

Time elapsed: 277 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 40/419

Time elapsed: 282 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 45/419

Time elapsed: 287 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 50/419

Time elapsed: 292 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 55/419

Time elapsed: 297 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 60/419

Time elapsed: 302 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 65/419

Time elapsed: 307 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
43 CTL EXCL 70/419

Time elapsed: 312 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 43 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 317 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 37 (type EXCL)
lola: time limit : 469 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 322 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 327 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 332 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 337 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 342 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 347 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 352 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 357 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 362 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 367 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 372 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 37 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 377 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 34 (type EXCL)
lola: time limit : 537 sec
lola: memory limit: 32 pages
lola: FINISHED task # 34 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 7 (type EXCL)
lola: time limit : 644 sec
lola: memory limit: 32 pages
lola: FINISHED task # 7 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 78 (type EXCL)
lola: time limit : 805 sec
lola: memory limit: 32 pages
lola: FINISHED task # 78 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 1074 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 5/1074

Time elapsed: 382 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 10/1074

Time elapsed: 387 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 15/1074

Time elapsed: 392 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 20/1074

Time elapsed: 397 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 25/1074

Time elapsed: 402 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 30/1074

Time elapsed: 407 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 35/1074

Time elapsed: 412 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 40/1074

Time elapsed: 417 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 45/1074

Time elapsed: 422 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 50/1074

Time elapsed: 427 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 55/1074

Time elapsed: 432 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 60/1074

Time elapsed: 437 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 AGEF EXCL 65/1074

Time elapsed: 442 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 1 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 447 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 40 (type EXCL)
lola: time limit : 1576 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 5/1576

Time elapsed: 452 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 10/1576

Time elapsed: 457 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 15/1576

Time elapsed: 462 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 467 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 25/1576

Time elapsed: 472 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 477 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 35/1576

Time elapsed: 482 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 40/1576

Time elapsed: 487 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 45/1576

Time elapsed: 492 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 50/1576

Time elapsed: 497 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 55/1576

Time elapsed: 502 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 40 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 507 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 4 (type EXCL)
lola: time limit : 3093 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 512 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 517 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 522 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 527 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 532 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

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

Time elapsed: 537 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 35/3093

Time elapsed: 542 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 40/3093

Time elapsed: 547 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 45/3093

Time elapsed: 552 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 50/3093

Time elapsed: 557 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 55/3093

Time elapsed: 562 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 60/3093

Time elapsed: 567 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 65/3093

Time elapsed: 572 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 70/3093

Time elapsed: 577 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 4 (type EXCL)
FINISHED FORMULA: CATEGORY
StigmergyElection-PT-06b-CTLFireability-02:
StigmergyElection-PT-06b-CTLFireability-03:
StigmergyElection-PT-06b-CTLFireability-04:
StigmergyElection-PT-06b-CTLFireability-05:
StigmergyElection-PT-06b-CTLFireability-06:
StigmergyElection-PT-06b-CTLFireability-07:
StigmergyElection-PT-06b-CTLFireability-12:
StigmergyElection-PT-06b-CTLFireability-13:
StigmergyElection-PT-06b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
StigmergyElection-PT-06b-CTLFireability-00:
StigmergyElection-PT-06b-CTLFireability-01:
StigmergyElection-PT-06b-CTLFireability-08:
StigmergyElection-PT-06b-CTLFireability-09:
StigmergyElection-PT-06b-CTLFireability-10:
StigmergyElection-PT-06b-CTLFireability-11:
StigmergyElection-PT-06b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

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

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

Time elapsed: 582 secs. Pages
-167912646700626.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ssh) ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ================================================ examination is CTLFireability 0626 ========================== 16:11 CTLCardinality.txt 16:11 CTLCardinality.xml 16:11 CTLFireability.txt 16:11 CTLFireability.xml 17:14 LTLCardinality.txt 17:14 LTLCardinality.xml 17:14 LTLFireability.txt 17:14 LTLFireability.xml 16:12 ReachabilityCardinality.txt 16:12 ReachabilityCardinality.xml 16:12 ReachabilityFireability.txt 16:12 ReachabilityFireability.xml 17:14 UpperBounds.txt 17:14 UpperBounds.xml 18:23 equiv_col 18:23 instance 18:23 iscolored 18:23 model.pnml by BenchKit (invocation template) result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N ola/bin/ TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT n/model.pnml net /model.pnml ution/CTLFireability.xml rite.k:325 rite.k:331 rite.k:322 rite.k:328 rite.k:296 rite.k:388 rite.k:547 rite.k:317 rite.k:325 rite.k:337 rite.k:296 rite.k:322 rite.k:337 rite.k:296 rite.k:296 rite.k:317 rite.k:325 rite.k:331 rite.k:322 rite.k:328 rite.k:296 rite.k:325 rite.k:331 rite.k:314 rite.k:317 rite.k:314 rite.k:296 rite.k:322 rite.k:328 rite.k:296 rite.k:325 rite.k:328 rite.k:296 rite.k:296 rite.k:96 rite.k:138 rite.k:199 rite.k:150 rite.k:199 rite.k:147 rite.k:96 rite.k:120 rite.k:250 rite.k:250 rite.k:322 rite.k:331 rite.k:314 rite.k:296 rite.k:314 rite.k:322 rite.k:331 rite.k:296 rite.k:314 rite.k:325 rite.k:331 rite.k:296 rite.k:296 rite.k:325 rite.k:334 rite.k:325 rite.k:331 rite.k:296 rite.k:325 rite.k:331 rite.k:296 rite.k:325 rite.k:328 rite.k:296 rite.k:544 rite.k:397 rite.k:388 rite.k:457 rite.k:544 rite.k:394 rite.k:325 rite.k:334 rite.k:325 rite.k:331 rite.k:296 rite.k:96 rite.k:138 rite.k:96 rite.k:121 rite.k:460 rite.k:317 rite.k:325 rite.k:328 rite.k:296 rite.k:325 rite.k:331 rite.k:296 rite.k:250 rite.k:317 rite.k:325 rite.k:337 rite.k:325 rite.k:328 rite.k:296 rite.k:314 rite.k:325 rite.k:328 rite.k:296 rite.k:296 rite.k:325 rite.k:331 rite.k:314 rite.k:322 rite.k:331 rite.k:299 rite.k:314 rite.k:322 rite.k:328 rite.k:299 rite.k:296 rite.k:322 rite.k:328 rite.k:296 rite.k:96 rite.k:117 rite.k:117 rite.k:179 rite.k:147 rite.k:454 rite.k:182 rite.k:469 rite.k:322 rite.k:331 rite.k:296 rite.k:451 rite.k:314 rite.k:322 rite.k:334 rite.k:325 rite.k:331 rite.k:296 rite.k:325 rite.k:337 rite.k:296 rite.k:314 rite.k:325 rite.k:328 rite.k:299 rite.k:325 rite.k:331 rite.k:296 rite.k:448 rite.k:544 rite.k:457 rite.k:250 rite.k:325 rite.k:331 rite.k:296 rite.k:475 rite.k:550 rite.k:314 rite.k:322 rite.k:334 rite.k:322 rite.k:328 rite.k:299 rite.k:322 rite.k:334 rite.k:322 rite.k:331 rite.k:296 rite.k:550 rite.k:314 rite.k:322 rite.k:334 rite.k:325 rite.k:334 rite.k:296 rite.k:322 rite.k:334 rite.k:322 rite.k:331 rite.k:296 rite.k:253 rite.k:96 rite.k:117 rite.k:132 rite.k:322 rite.k:331 rite.k:296 rite.k:121 rite.k:322 rite.k:331 rite.k:325 rite.k:334 rite.k:322 rite.k:331 rite.k:296 rite.k:325 rite.k:337 rite.k:296 rite.k:296 places removed rite.k:808 rite.k:813 rite.k:808 rite.k:811 rite.k:814 rite.k:806 rite.k:808 rite.k:813 rite.k:813 rite.k:806 rite.k:814 rite.k:814 rite.k:809 for 12 StigmergyElection-PT-06b-CTLFireability-04 rite.k:810 rite.k:815 rite.k:806 rite.k:813 rite.k:806 rite.k:811 rite.k:813 for StigmergyElection-PT-06b-CTLFireability-04 25 25 0.000000 1 for 45 StigmergyElection-PT-06b-CTLFireability-11 rite.k:703 rite.k:811 rite.k:811 rite.k:815 rite.k:808 rite.k:806 rite.k:813 rite.k:703 VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 F 0 0 0 0 1 0 0 0 AXAF 0 0 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 CONJ 0 0 0 0 4 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 StigmergyElection-PT-06b-CTLFireability-11 16320 m, 3264 m/sec, 52761 t fired, . rite.k:813 rite.k:811 rite.k:813 (result already fixed). rite.k:807 rite.k:812 rite.k:814 rite.k:812 rite.k:714 rite.k:753 rite.k:788 rite.k:808 rite.k:811 rite.k:809 rite.k:806 rite.k:806 rite.k:808 rite.k:812 rite.k:808 rite.k:806 rite.k:813 rite.k:812 rite.k:806 rite.k:813 rite.k:807 rite.k:811 rite.k:813 rite.k:815 rite.k:812 rite.k:807 rite.k:754 rite.k:787 rite.k:715 rite.k:807 rite.k:807 rite.k:807 rite.k:811 rite.k:815 rite.k:813 rite.k:811 rite.k:807 rite.k:808 rite.k:806 rite.k:807 rite.k:808 rite.k:808 rite.k:809 rite.k:814 rite.k:812 rite.k:715 rite.k:749 rite.k:776 VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 2/32 StigmergyElection-PT-06b-CTLFireability-11 441237 m, 84983 m/sec, 1675084 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 StigmergyElection-PT-06b-CTLFireability-11 1111471 m, 134046 m/sec, 4505653 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 8/32 StigmergyElection-PT-06b-CTLFireability-11 1750603 m, 127826 m/sec, 7360461 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 2431284 m, 136136 m/sec, 10275363 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 3134680 m, 140679 m/sec, 13179142 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 StigmergyElection-PT-06b-CTLFireability-11 3782617 m, 129587 m/sec, 15852674 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 4320624 m, 107601 m/sec, 18696464 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 4942435 m, 124362 m/sec, 21673878 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 5564584 m, 124429 m/sec, 24661245 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 27/32 StigmergyElection-PT-06b-CTLFireability-11 6158916 m, 118866 m/sec, 27853506 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 6656499 m, 99516 m/sec, 31035880 t fired, . VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-11 7308956 m, 130491 m/sec, 34260275 t fired, . for StigmergyElection-PT-06b-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 for 19 StigmergyElection-PT-06b-CTLFireability-05 for StigmergyElection-PT-06b-CTLFireability-05 89 88 0.000000 1 for 22 StigmergyElection-PT-06b-CTLFireability-06 for StigmergyElection-PT-06b-CTLFireability-06 117 116 0.000000 1 for 73 StigmergyElection-PT-06b-CTLFireability-15 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 3/32 StigmergyElection-PT-06b-CTLFireability-15 433932 m, 86786 m/sec, 1338548 t fired, . VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 4/32 StigmergyElection-PT-06b-CTLFireability-15 826391 m, 78491 m/sec, 2666275 t fired, . VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 6/32 StigmergyElection-PT-06b-CTLFireability-15 1223736 m, 79469 m/sec, 3999344 t fired, . VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 8/32 StigmergyElection-PT-06b-CTLFireability-15 1666451 m, 88543 m/sec, 5342098 t fired, . VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 10/32 StigmergyElection-PT-06b-CTLFireability-15 2049318 m, 76573 m/sec, 6678272 t fired, . VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 11/32 StigmergyElection-PT-06b-CTLFireability-15 2359241 m, 61984 m/sec, 8015791 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-15 2684027 m, 64957 m/sec, 9346972 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 14/32 StigmergyElection-PT-06b-CTLFireability-15 3001004 m, 63395 m/sec, 10668628 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 16/32 StigmergyElection-PT-06b-CTLFireability-15 3361898 m, 72178 m/sec, 11956833 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 18/32 StigmergyElection-PT-06b-CTLFireability-15 3725222 m, 72664 m/sec, 13296050 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 StigmergyElection-PT-06b-CTLFireability-15 4043874 m, 63730 m/sec, 14693541 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 21/32 StigmergyElection-PT-06b-CTLFireability-15 4369816 m, 65188 m/sec, 16053596 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 23/32 StigmergyElection-PT-06b-CTLFireability-15 4728476 m, 71732 m/sec, 17379035 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 24/32 StigmergyElection-PT-06b-CTLFireability-15 5116752 m, 77655 m/sec, 18719132 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 26/32 StigmergyElection-PT-06b-CTLFireability-15 5539132 m, 84476 m/sec, 20050294 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 28/32 StigmergyElection-PT-06b-CTLFireability-15 5923284 m, 76830 m/sec, 21369046 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 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 30/32 StigmergyElection-PT-06b-CTLFireability-15 6326314 m, 80606 m/sec, 22703928 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 StigmergyElection-PT-06b-CTLFireability-15 6770100 m, 88757 m/sec, 24038669 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 4 0 0 4 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 70 StigmergyElection-PT-06b-CTLFireability-14 for StigmergyElection-PT-06b-CTLFireability-14 6908 8255 0.000000 1 for 55 StigmergyElection-PT-06b-CTLFireability-13 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 StigmergyElection-PT-06b-CTLFireability-13 584020 m, 116804 m/sec, 1219653 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 StigmergyElection-PT-06b-CTLFireability-13 1080160 m, 99228 m/sec, 2445105 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 StigmergyElection-PT-06b-CTLFireability-13 1695378 m, 123043 m/sec, 3671946 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 StigmergyElection-PT-06b-CTLFireability-13 2142810 m, 89486 m/sec, 4926268 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 StigmergyElection-PT-06b-CTLFireability-13 2535187 m, 78475 m/sec, 6167776 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 StigmergyElection-PT-06b-CTLFireability-13 2931993 m, 79361 m/sec, 7403206 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 StigmergyElection-PT-06b-CTLFireability-13 3367357 m, 87072 m/sec, 8585905 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 StigmergyElection-PT-06b-CTLFireability-13 3811954 m, 88919 m/sec, 9846240 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 StigmergyElection-PT-06b-CTLFireability-13 4198943 m, 77397 m/sec, 11159363 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 StigmergyElection-PT-06b-CTLFireability-13 4641035 m, 88418 m/sec, 12398382 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 StigmergyElection-PT-06b-CTLFireability-13 5156278 m, 103048 m/sec, 13637226 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 StigmergyElection-PT-06b-CTLFireability-13 5707903 m, 110325 m/sec, 14857156 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 StigmergyElection-PT-06b-CTLFireability-13 6226209 m, 103661 m/sec, 16074643 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 1 0 4 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 StigmergyElection-PT-06b-CTLFireability-13 6837151 m, 122188 m/sec, 17293799 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 DISJ 0 2 0 0 2 0 0 0 CONJ 0 3 0 0 4 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 55 StigmergyElection-PT-06b-CTLFireability-13 for StigmergyElection-PT-06b-CTLFireability-13 89 88 0.000000 1 for 55 StigmergyElection-PT-06b-CTLFireability-13 for StigmergyElection-PT-06b-CTLFireability-13 214 214 0.000000 1 for 48 StigmergyElection-PT-06b-CTLFireability-12 for StigmergyElection-PT-06b-CTLFireability-12 89 88 0.000000 1 for 42 StigmergyElection-PT-06b-CTLFireability-10 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 565940 m, 113188 m/sec, 1218554 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 1043273 m, 95466 m/sec, 2445613 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 1627192 m, 116783 m/sec, 3665322 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 2022912 m, 79144 m/sec, 4949225 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 2414901 m, 78397 m/sec, 6204690 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 2785816 m, 74183 m/sec, 7445641 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 3288689 m, 100574 m/sec, 8652048 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 3794587 m, 101179 m/sec, 9870918 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 4186435 m, 78369 m/sec, 11182956 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 4610565 m, 84826 m/sec, 12420034 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 5096441 m, 97175 m/sec, 13634304 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 5633568 m, 107425 m/sec, 14821009 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 6091200 m, 91526 m/sec, 16006010 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-10 6660723 m, 113904 m/sec, 17180933 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-10 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 36 StigmergyElection-PT-06b-CTLFireability-08 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 515422 m, 103084 m/sec, 997186 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 925406 m, 81996 m/sec, 1933223 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 1305110 m, 75940 m/sec, 2881213 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 1697304 m, 78438 m/sec, 3848572 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 2079888 m, 76516 m/sec, 4789348 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 2451968 m, 74416 m/sec, 5709236 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 2816993 m, 73005 m/sec, 6609578 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 3174225 m, 71446 m/sec, 7504961 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 3539952 m, 73145 m/sec, 8406503 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 3929205 m, 77850 m/sec, 9303363 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 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 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 StigmergyElection-PT-06b-CTLFireability-08 4448760 m, 103911 m/sec, 10315647 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 F 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 33 StigmergyElection-PT-06b-CTLFireability-07 for StigmergyElection-PT-06b-CTLFireability-07 1308 3216 0.000000 1 for 6 StigmergyElection-PT-06b-CTLFireability-02 for StigmergyElection-PT-06b-CTLFireability-02 213 213 0.000000 1 for 9 StigmergyElection-PT-06b-CTLFireability-03 for StigmergyElection-PT-06b-CTLFireability-03 198 198 0.000000 1 for 0 StigmergyElection-PT-06b-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 3/32 StigmergyElection-PT-06b-CTLFireability-00 640799 m, 128159 m/sec, 3258643 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 6/32 StigmergyElection-PT-06b-CTLFireability-00 1334136 m, 138667 m/sec, 7259384 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 8/32 StigmergyElection-PT-06b-CTLFireability-00 2043746 m, 141922 m/sec, 11430242 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 11/32 StigmergyElection-PT-06b-CTLFireability-00 2729031 m, 137057 m/sec, 15685757 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 13/32 StigmergyElection-PT-06b-CTLFireability-00 3404933 m, 135180 m/sec, 19845722 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 16/32 StigmergyElection-PT-06b-CTLFireability-00 4061083 m, 131230 m/sec, 23906931 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 18/32 StigmergyElection-PT-06b-CTLFireability-00 4651244 m, 118032 m/sec, 27723280 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 20/32 StigmergyElection-PT-06b-CTLFireability-00 5235743 m, 116899 m/sec, 31477933 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 23/32 StigmergyElection-PT-06b-CTLFireability-00 5831375 m, 119126 m/sec, 35734945 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 25/32 StigmergyElection-PT-06b-CTLFireability-00 6422168 m, 118158 m/sec, 39748991 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 27/32 StigmergyElection-PT-06b-CTLFireability-00 6964776 m, 108521 m/sec, 43750096 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 29/32 StigmergyElection-PT-06b-CTLFireability-00 7526141 m, 112273 m/sec, 47835593 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 31/32 StigmergyElection-PT-06b-CTLFireability-00 8030550 m, 100881 m/sec, 51804943 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 39 StigmergyElection-PT-06b-CTLFireability-09 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 4/32 StigmergyElection-PT-06b-CTLFireability-09 779863 m, 155972 m/sec, 2922304 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 StigmergyElection-PT-06b-CTLFireability-09 1478196 m, 139666 m/sec, 5889952 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 10/32 StigmergyElection-PT-06b-CTLFireability-09 2168732 m, 138107 m/sec, 9352791 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 12/32 StigmergyElection-PT-06b-CTLFireability-09 2803454 m, 126944 m/sec, 13122455 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 15/32 StigmergyElection-PT-06b-CTLFireability-09 3471567 m, 133622 m/sec, 16456029 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 18/32 StigmergyElection-PT-06b-CTLFireability-09 4124847 m, 130656 m/sec, 19793790 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 21/32 StigmergyElection-PT-06b-CTLFireability-09 4884257 m, 151882 m/sec, 23397344 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 23/32 StigmergyElection-PT-06b-CTLFireability-09 5455961 m, 114340 m/sec, 27208661 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 26/32 StigmergyElection-PT-06b-CTLFireability-09 6169511 m, 142710 m/sec, 30923026 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 29/32 StigmergyElection-PT-06b-CTLFireability-09 6843424 m, 134782 m/sec, 34358698 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 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 StigmergyElection-PT-06b-CTLFireability-09 7392683 m, 109851 m/sec, 38094901 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 3 StigmergyElection-PT-06b-CTLFireability-01 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 StigmergyElection-PT-06b-CTLFireability-01 651910 m, 130382 m/sec, 3247982 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 StigmergyElection-PT-06b-CTLFireability-01 1198495 m, 109317 m/sec, 6258810 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 StigmergyElection-PT-06b-CTLFireability-01 1679545 m, 96210 m/sec, 9350157 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 StigmergyElection-PT-06b-CTLFireability-01 2178382 m, 99767 m/sec, 12416495 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 StigmergyElection-PT-06b-CTLFireability-01 2664887 m, 97301 m/sec, 15786778 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 StigmergyElection-PT-06b-CTLFireability-01 3201508 m, 107324 m/sec, 18973541 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 StigmergyElection-PT-06b-CTLFireability-01 3702840 m, 100266 m/sec, 22331470 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 StigmergyElection-PT-06b-CTLFireability-01 4175153 m, 94462 m/sec, 25714711 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 StigmergyElection-PT-06b-CTLFireability-01 4764817 m, 117932 m/sec, 29328742 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 StigmergyElection-PT-06b-CTLFireability-01 5304071 m, 107850 m/sec, 32861753 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 StigmergyElection-PT-06b-CTLFireability-01 5820961 m, 103378 m/sec, 36555832 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 StigmergyElection-PT-06b-CTLFireability-01 6407466 m, 117301 m/sec, 40524021 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 StigmergyElection-PT-06b-CTLFireability-01 6970427 m, 112592 m/sec, 44467539 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 StigmergyElection-PT-06b-CTLFireability-01 7440010 m, 93916 m/sec, 48430976 t fired, . in use: 32 for StigmergyElection-PT-06b-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS AGEF 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 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 tasks 16 VALUE PRODUCED BY AGEF unknown AGGR CTL unknown AGGR CTL false CTL model checker F false state space / EG DISJ true CTL model checker AXAF false state space /EXEG CONJ false state space /EXEF CTL true CTL model checker CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR DISJ true state space /EXEG CONJ false CTL model checker CTL true CTL model checker CTL unknown AGGR in use: 32

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is StigmergyElection-PT-06b, 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 r454-smll-167912646700626"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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