MCC'2024- Execution of r313-tall-171662340500442

About the Execution of LoLA for Raft-PT-07

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16194.275	238484.00	239787.00	1193.50	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r313-tall-171662340500442.qcow2',
Waiting for the VM to be ready (probing ssh)
................
=================================
Generated by BenchKit 2-5568
Executing tool lola
Input is Raft-PT-07, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r313-tall-171662340500442
=======================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.3K May 14 13:22 CTLCardinality
-rw-r--r-- 1 mcc users 68K May 14 13:22 CTLCardinality
-rw-r--r-- 1 mcc users 4.6K May 14 13:22 CTLFireability
-rw-r--r-- 1 mcc users 39K May 14 13:22 CTLFireability
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropert
-rw-r--r-- 1 mcc users 6.2K May 18 16:43 GenericPropert
-rw-r--r-- 1 mcc users 3.4K Apr 23 07:46 LTLCardinality
-rw-r--r-- 1 mcc users 26K Apr 23 07:46 LTLCardinality
-rw-r--r-- 1 mcc users 2.0K Apr 23 07:46 LTLFireability
-rw-r--r-- 1 mcc users 15K Apr 23 07:46 LTLFireability
-rw-r--r-- 1 mcc users 11K Apr 11 17:51 ReachabilityCa
-rw-r--r-- 1 mcc users 113K Apr 11 17:51 ReachabilityCa
-rw-r--r-- 1 mcc users 11K Apr 11 17:45 ReachabilityFi
-rw-r--r-- 1 mcc users 99K Apr 11 17:45 ReachabilityFi
-rw-r--r-- 1 mcc users 1.5K Apr 23 07:46 UpperBounds.tx
-rw-r--r-- 1 mcc users 3.5K Apr 23 07:46 UpperBounds.xm
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 120K May 18 16:43 model.pnml

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

=== Data for post analysis generated by BenchKit

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from
FORMULA_NAME Raft-PT-07-CTLFireability-2024-00
FORMULA_NAME Raft-PT-07-CTLFireability-2024-01
FORMULA_NAME Raft-PT-07-CTLFireability-2024-02
FORMULA_NAME Raft-PT-07-CTLFireability-2024-03
FORMULA_NAME Raft-PT-07-CTLFireability-2024-04
FORMULA_NAME Raft-PT-07-CTLFireability-2024-05
FORMULA_NAME Raft-PT-07-CTLFireability-2024-06
FORMULA_NAME Raft-PT-07-CTLFireability-2024-07
FORMULA_NAME Raft-PT-07-CTLFireability-2024-08
FORMULA_NAME Raft-PT-07-CTLFireability-2024-09
FORMULA_NAME Raft-PT-07-CTLFireability-2024-10
FORMULA_NAME Raft-PT-07-CTLFireability-2024-11
FORMULA_NAME Raft-PT-07-CTLFireability-2023-12
FORMULA_NAME Raft-PT-07-CTLFireability-2023-13
FORMULA_NAME Raft-PT-07-CTLFireability-2023-14
FORMULA_NAME Raft-PT-07-CTLFireability-2023-15

=== Now, execution of the tool begins

BK_START 1717330091191

BK_STOP 1717330329675

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

[[35mlola[0m][I] LoLA will run for 3600 seconds
[[35mlola[0m][W] [1m[33munknown unit in memory
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmln
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition
[[35mlola[0m][I] closed [1m[34mnet[0m file
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlfo
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0
[[35mlola[0m][I] LAUNCH task # 77 (type SKEL/FNDP)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 78 (type SKEL/EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 79 (type SKEL/SRCH)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 77 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions :
[[35mlola[0m][I] time used :
[[35mlola[0m][I] memory pages used :
[[35mlola[0m][W] CANCELED task # 78 (type
[[35mlola[0m][W] CANCELED task # 79 (type
[[35mlola[0m][I] FINISHED task # 78 (type
[[35mlola[0m][I] result : false
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 13 (type EXCL)
[[35mlola[0m][I] time limit : 120 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 83 (type FNDP)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 93 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 86 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 93 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][W] CANCELED task # 83 (type
[[35mlola[0m][I] LAUNCH task # 92 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 88 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 88 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 83 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions :
[[35mlola[0m][I] time used :
[[35mlola[0m][I] memory pages used :
[[35mlola[0m][I] LAUNCH task # 99 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 92 (type
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 86 (type
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 99 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 104 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 108 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 110 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 110 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] FINISHED task # 108 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 104 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 5/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 10/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 15/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 20/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 25/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 30/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 35/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 40/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 45/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 50/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 55/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 60/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 65/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 70/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 75/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 80/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 85/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 90/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 95/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 100/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 105/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 110/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 115/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 120/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 125/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 130/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 135/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 140/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 145/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 150/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 155/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 160/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 165/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 170/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 175/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 180/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 185/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 190/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 195/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 13 CTL EXCL 200/200
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][W] CANCELED task # 13 (type
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] LAUNCH task # 97 (type EXCL)
[[35mlola[0m][I] time limit : 199 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 13 (type EXCL)
[[35mlola[0m][I] time limit : 3395 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 97 (type
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings :
[[35mlola[0m][I] fired transitions :
[[35mlola[0m][I] time used :
[[35mlola[0m][I] memory pages used :
[[35mlola[0m][I] CANCELED task # 13 (type
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mRaft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] LAUNCH task # 74 (type EXCL)
[[35mlola[0m][I] time limit : 226 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mRaft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 74 CTL EXCL 5/226
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mRaft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 74 CTL EXCL 10/226
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mRaft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 74 CTL EXCL 15/226
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mRaft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 74 CTL EXCL 20/226
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mRaft-PT-07-CTLFireability-2023-12:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-00:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-01:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-02:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-03:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-04:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-05:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-06:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-07:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-08:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-09:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-10:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2024-11:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-13:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-14:
[[35mlola[0m][.] Raft-PT-07-CTLFireability-2023-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE
[[35mlola[0m][.] 74 CTL EXCL 25/226
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs.
[[35mlola[0m][.] # running tasks: 1 of 4.
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 407 Killed
fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ==================================== ============== .txt .xml .txt .xml iesDefinition.xml iesVerdict.xml .txt .xml .txt .xml rdinality.txt rdinality.xml reability.txt reability.xml t l (invocation template) text file) at most ([1m[36m--timelimit[0m) specification: using default[0m from [4m[34mmodel.pnml[0m et[0m) net [4m[34mmodel.pnml[0m rmula[0m) from [4m[34mCTLFireability.xml[0m places removed for 43 Raft-PT-07-CTLFireability-2023-13 for 43 Raft-PT-07-CTLFireability-2023-13 for 43 Raft-PT-07-CTLFireability-2023-13 SKEL/FNDP) for Raft-PT-07-CTLFireability-2023-13 1 0 0 EQUN) for Raft-PT-07-CTLFireability-2023-13 (obsolete) SRCH) for Raft-PT-07-CTLFireability-2023-13 (obsolete) SKEL/EQUN) for Raft-PT-07-CTLFireability-2023-13 for 12 Raft-PT-07-CTLFireability-2024-04 for 43 Raft-PT-07-CTLFireability-2023-13 for 43 Raft-PT-07-CTLFireability-2023-13 for 30 Raft-PT-07-CTLFireability-2024-10 EQUN) for Raft-PT-07-CTLFireability-2023-13 FNDP) for Raft-PT-07-CTLFireability-2023-13 (obsolete) for 66 Raft-PT-07-CTLFireability-2023-14 for 30 Raft-PT-07-CTLFireability-2024-10 EQUN) for Raft-PT-07-CTLFireability-2024-10 FNDP) for Raft-PT-07-CTLFireability-2023-13 1 0 0 for 36 Raft-PT-07-CTLFireability-2023-12 EQUN) for Raft-PT-07-CTLFireability-2023-14 EQUN) for Raft-PT-07-CTLFireability-2024-10 EQUN) for Raft-PT-07-CTLFireability-2023-12 for 66 Raft-PT-07-CTLFireability-2023-14 for 66 Raft-PT-07-CTLFireability-2023-14 for 6 Raft-PT-07-CTLFireability-2024-02 EQUN) for Raft-PT-07-CTLFireability-2024-02 EQUN) for Raft-PT-07-CTLFireability-2023-14 EQUN) for Raft-PT-07-CTLFireability-2023-14 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 9/2000 Raft-PT-07-CTLFireability-2024-04 2071822 m, 414364 m/sec, 2993129 t fired, . Pages in use: 9 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 19/2000 Raft-PT-07-CTLFireability-2024-04 4275950 m, 440825 m/sec, 6194946 t fired, . Pages in use: 19 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 28/2000 Raft-PT-07-CTLFireability-2024-04 6475371 m, 439884 m/sec, 9382941 t fired, . Pages in use: 28 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 37/2000 Raft-PT-07-CTLFireability-2024-04 8575806 m, 420087 m/sec, 12442474 t fired, . Pages in use: 37 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 46/2000 Raft-PT-07-CTLFireability-2024-04 10645528 m, 413944 m/sec, 15470660 t fired, . Pages in use: 46 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 55/2000 Raft-PT-07-CTLFireability-2024-04 12674174 m, 405729 m/sec, 18439625 t fired, . Pages in use: 55 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 63/2000 Raft-PT-07-CTLFireability-2024-04 14763385 m, 417842 m/sec, 21483312 t fired, . Pages in use: 63 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 73/2000 Raft-PT-07-CTLFireability-2024-04 16923174 m, 431957 m/sec, 24619587 t fired, . Pages in use: 73 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 82/2000 Raft-PT-07-CTLFireability-2024-04 19157616 m, 446888 m/sec, 27847988 t fired, . Pages in use: 82 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 91/2000 Raft-PT-07-CTLFireability-2024-04 21305036 m, 429484 m/sec, 30964196 t fired, . Pages in use: 91 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 100/2000 Raft-PT-07-CTLFireability-2024-04 23392470 m, 417486 m/sec, 33999984 t fired, . Pages in use: 100 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 109/2000 Raft-PT-07-CTLFireability-2024-04 25393020 m, 400110 m/sec, 36941405 t fired, . Pages in use: 109 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 117/2000 Raft-PT-07-CTLFireability-2024-04 27328090 m, 387014 m/sec, 39792873 t fired, . Pages in use: 117 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 126/2000 Raft-PT-07-CTLFireability-2024-04 29445546 m, 423491 m/sec, 42874379 t fired, . Pages in use: 126 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 135/2000 Raft-PT-07-CTLFireability-2024-04 31577219 m, 426334 m/sec, 45974322 t fired, . Pages in use: 135 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 144/2000 Raft-PT-07-CTLFireability-2024-04 33638047 m, 412165 m/sec, 48985035 t fired, . Pages in use: 144 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 153/2000 Raft-PT-07-CTLFireability-2024-04 35745891 m, 421568 m/sec, 52044560 t fired, . Pages in use: 153 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 162/2000 Raft-PT-07-CTLFireability-2024-04 37826291 m, 416080 m/sec, 55067804 t fired, . Pages in use: 162 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 170/2000 Raft-PT-07-CTLFireability-2024-04 39750210 m, 384783 m/sec, 57906405 t fired, . Pages in use: 170 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 179/2000 Raft-PT-07-CTLFireability-2024-04 41797264 m, 409410 m/sec, 60899636 t fired, . Pages in use: 179 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 188/2000 Raft-PT-07-CTLFireability-2024-04 43993461 m, 439239 m/sec, 64078263 t fired, . Pages in use: 188 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 197/2000 Raft-PT-07-CTLFireability-2024-04 46117658 m, 424839 m/sec, 67168404 t fired, . Pages in use: 197 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 206/2000 Raft-PT-07-CTLFireability-2024-04 48167223 m, 409913 m/sec, 70153887 t fired, . Pages in use: 206 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 214/2000 Raft-PT-07-CTLFireability-2024-04 50043195 m, 375194 m/sec, 72942093 t fired, . Pages in use: 214 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 222/2000 Raft-PT-07-CTLFireability-2024-04 51996812 m, 390723 m/sec, 75809185 t fired, . Pages in use: 222 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 230/2000 Raft-PT-07-CTLFireability-2024-04 53977845 m, 396206 m/sec, 78718298 t fired, . Pages in use: 230 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 239/2000 Raft-PT-07-CTLFireability-2024-04 55891788 m, 382788 m/sec, 81549128 t fired, . Pages in use: 239 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 247/2000 Raft-PT-07-CTLFireability-2024-04 57887750 m, 399192 m/sec, 84476074 t fired, . Pages in use: 247 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 256/2000 Raft-PT-07-CTLFireability-2024-04 59888395 m, 400129 m/sec, 87403212 t fired, . Pages in use: 256 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 264/2000 Raft-PT-07-CTLFireability-2024-04 61872873 m, 396895 m/sec, 90310722 t fired, . Pages in use: 264 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 272/2000 Raft-PT-07-CTLFireability-2024-04 63756914 m, 376808 m/sec, 93099092 t fired, . Pages in use: 272 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 281/2000 Raft-PT-07-CTLFireability-2024-04 65821812 m, 412979 m/sec, 96110474 t fired, . Pages in use: 281 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 290/2000 Raft-PT-07-CTLFireability-2024-04 67971542 m, 429946 m/sec, 99227856 t fired, . Pages in use: 290 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 299/2000 Raft-PT-07-CTLFireability-2024-04 70023419 m, 410375 m/sec, 102229827 t fired, . Pages in use: 299 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 308/2000 Raft-PT-07-CTLFireability-2024-04 72083030 m, 411922 m/sec, 105227325 t fired, . Pages in use: 308 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 316/2000 Raft-PT-07-CTLFireability-2024-04 74048170 m, 393028 m/sec, 108102960 t fired, . Pages in use: 316 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 324/2000 Raft-PT-07-CTLFireability-2024-04 75853524 m, 361070 m/sec, 110790820 t fired, . Pages in use: 324 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 332/2000 Raft-PT-07-CTLFireability-2024-04 77924479 m, 414191 m/sec, 113820815 t fired, . Pages in use: 332 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 342/2000 Raft-PT-07-CTLFireability-2024-04 80103729 m, 435850 m/sec, 116996072 t fired, . Pages in use: 342 Visible: 16 CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 351/2000 Raft-PT-07-CTLFireability-2024-04 82237327 m, 426719 m/sec, 120098131 t fired, . Pages in use: 351 Visible: 16 EXCL) for Raft-PT-07-CTLFireability-2024-04 (local timeout) CATEGORY VALUE PRODUCED BY[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 1 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 3 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m Pages in use: 359 Visible: 16 for 36 Raft-PT-07-CTLFireability-2023-12 for 12 Raft-PT-07-CTLFireability-2024-04 EXCL) for Raft-PT-07-CTLFireability-2023-12 3 2 0 1 EXCL) for Raft-PT-07-CTLFireability-2024-04 (memory limit exceeded) CATEGORY VALUE PRODUCED BY[0m DISJ true state space /EXEF[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m Pages in use: 359 Visible: 16 for 73 Raft-PT-07-CTLFireability-2023-15 CATEGORY VALUE PRODUCED BY[0m DISJ true state space /EXEF[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 9/2000 Raft-PT-07-CTLFireability-2023-15 1931176 m, 386235 m/sec, 2693704 t fired, . Pages in use: 359 Visible: 16 CATEGORY VALUE PRODUCED BY[0m DISJ true state space /EXEF[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 17/2000 Raft-PT-07-CTLFireability-2023-15 3760630 m, 365890 m/sec, 5257121 t fired, . Pages in use: 359 Visible: 16 CATEGORY VALUE PRODUCED BY[0m DISJ true state space /EXEF[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 25/2000 Raft-PT-07-CTLFireability-2023-15 5601855 m, 368245 m/sec, 7831527 t fired, . Pages in use: 359 Visible: 16 CATEGORY VALUE PRODUCED BY[0m DISJ true state space /EXEF[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 32/2000 Raft-PT-07-CTLFireability-2023-15 7393179 m, 358264 m/sec, 10345232 t fired, . Pages in use: 359 Visible: 16 CATEGORY VALUE PRODUCED BY[0m DISJ true state space /EXEF[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 9 0 0 8 CONJ 0 2 0 0 5 0 0 0 CTL 0 0 1 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m 39/2000 Raft-PT-07-CTLFireability-2023-15 8893297 m, 300023 m/sec, 12454904 t fired, . Pages in use: 359 Visible: 16 $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

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="Raft-PT-07"
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-5568"
echo " Executing tool lola"
echo " Input is Raft-PT-07, 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 r313-tall-171662340500442"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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