fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r049-tajo-171620400600346
Last Updated
July 7, 2024

About the Execution of LoLA for BugTracking-PT-q3m016

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
0.000 512853.00 0.00 0.00 TTFFTFFT?TTF?TT? normal

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2024-input.r049-tajo-171620400600346.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2024-input.qcow2' backing_fmt='qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is BugTracking-PT-q3m016, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-tajo-171620400600346
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 19 07:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 19 15:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 16M May 18 16:42 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1717021276930

FORMULA BugTracking-PT-q3m016-CTLFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2023-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2023-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m016-CTLFireability-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717021789783

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from CTLFireability.xml
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] Rule S: 24601 transitions removed,514 places removed
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] LAUNCH task # 7 (type CNST) for 6 BugTracking-PT-q3m016-CTLFireability-2024-02
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 16 (type CNST) for 15 BugTracking-PT-q3m016-CTLFireability-2024-05
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 19 (type CNST) for 18 BugTracking-PT-q3m016-CTLFireability-2024-06
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 1 (type CNST) for 0 BugTracking-PT-q3m016-CTLFireability-2024-00
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 10 (type CNST) for 9 BugTracking-PT-q3m016-CTLFireability-2024-03
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 13 (type CNST) for 12 BugTracking-PT-q3m016-CTLFireability-2024-04
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 34 (type CNST) for 33 BugTracking-PT-q3m016-CTLFireability-2024-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 40 (type CNST) for 39 BugTracking-PT-q3m016-CTLFireability-2023-13
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 43 (type CNST) for 42 BugTracking-PT-q3m016-CTLFireability-2023-14
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 16 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-05
[lola][I] result : false
[lola][I] LAUNCH task # 22 (type CNST) for 21 BugTracking-PT-q3m016-CTLFireability-2024-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 13 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-04
[lola][I] result : true
[lola][I] FINISHED task # 40 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2023-13
[lola][I] result : true
[lola][I] FINISHED task # 7 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-02
[lola][I] result : false
[lola][I] FINISHED task # 1 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-00
[lola][I] result : true
[lola][I] FINISHED task # 34 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-11
[lola][I] result : false
[lola][I] FINISHED task # 10 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-03
[lola][I] result : false
[lola][I] FINISHED task # 43 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2023-14
[lola][I] result : true
[lola][I] FINISHED task # 19 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-06
[lola][I] result : false
[lola][I] FINISHED task # 22 (type CNST) for BugTracking-PT-q3m016-CTLFireability-2024-07
[lola][I] result : true
[lola][I] LAUNCH task # 31 (type EXCL) for 30 BugTracking-PT-q3m016-CTLFireability-2024-10
[lola][I] time limit : 597 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 31 (type EXCL) for BugTracking-PT-q3m016-CTLFireability-2024-10
[lola][I] result : true
[lola][I] markings : 17
[lola][I] fired transitions : 49
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 28 (type EXCL) for 27 BugTracking-PT-q3m016-CTLFireability-2024-09
[lola][I] time limit : 716 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 28 (type EXCL) for BugTracking-PT-q3m016-CTLFireability-2024-09
[lola][I] result : true
[lola][I] markings : 17
[lola][I] fired transitions : 16
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 46 (type EXCL) for 45 BugTracking-PT-q3m016-CTLFireability-2023-15
[lola][I] time limit : 895 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 3 BugTracking-PT-q3m016-CTLFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 3 BugTracking-PT-q3m016-CTLFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 48 (type FNDP) for BugTracking-PT-q3m016-CTLFireability-2024-01
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 49 (type EQUN) for BugTracking-PT-q3m016-CTLFireability-2024-01 (obsolete)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 2/1194 2/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 240254 m, 48050 m/sec, 280612 t fired, .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 2
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] FINISHED task # 49 (type EQUN) for BugTracking-PT-q3m016-CTLFireability-2024-01
[lola][I] result : unknown
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 7/1194 11/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 1374694 m, 226888 m/sec, 1604124 t fired, .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 11
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 12/1194 20/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 2525102 m, 230081 m/sec, 2946268 t fired, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 20
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 17/1194 28/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 3603513 m, 215682 m/sec, 4204414 t fired, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 28
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 22/1194 37/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 4752517 m, 229800 m/sec, 5544919 t fired, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 37
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 27/1194 46/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 5902925 m, 230081 m/sec, 6887062 t fired, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 46
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 32/1194 55/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 7044328 m, 228280 m/sec, 8218699 t fired, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 55
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 37/1194 64/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 8187903 m, 228715 m/sec, 9552870 t fired, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 64
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 42/1194 72/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 9234793 m, 209378 m/sec, 10774241 t fired, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 72
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 47/1194 80/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 10328696 m, 218780 m/sec, 12050460 t fired, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 80
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 52/1194 88/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 11348232 m, 203907 m/sec, 13239918 t fired, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 88
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 57/1194 96/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 12334963 m, 197346 m/sec, 14391105 t fired, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 96
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 62/1194 103/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 13324429 m, 197893 m/sec, 15545482 t fired, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 103
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 67/1194 111/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 14312732 m, 197660 m/sec, 16698503 t fired, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 111
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 72/1194 119/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 15372130 m, 211879 m/sec, 17934466 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 119
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 77/1194 128/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 16453727 m, 216319 m/sec, 19196329 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 128
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 82/1194 136/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 17534042 m, 216063 m/sec, 20456699 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 136
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 87/1194 144/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 18617260 m, 216643 m/sec, 21720453 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 144
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 92/1194 153/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 19701265 m, 216801 m/sec, 22985123 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 153
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 97/1194 161/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 20784577 m, 216662 m/sec, 24248987 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 161
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 102/1194 169/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 21865405 m, 216165 m/sec, 25509953 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 169
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 107/1194 178/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 22961110 m, 219141 m/sec, 26788276 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 178
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 112/1194 186/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 24046715 m, 217121 m/sec, 28054815 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 186
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 117/1194 195/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 25129568 m, 216570 m/sec, 29318145 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 195
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 122/1194 203/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 26220482 m, 218182 m/sec, 30590877 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 203
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 127/1194 211/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 27305700 m, 217043 m/sec, 31856964 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 211
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 132/1194 220/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 28382784 m, 215416 m/sec, 33113562 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 220
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 137/1194 228/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 29464510 m, 216345 m/sec, 34375579 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 228
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 142/1194 236/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 30543437 m, 215785 m/sec, 35634325 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 236
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 147/1194 245/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 31620146 m, 215341 m/sec, 36890486 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 245
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 152/1194 253/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 32707853 m, 217541 m/sec, 38159477 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 253
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 157/1194 262/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 33819277 m, 222284 m/sec, 39456139 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 262
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 162/1194 270/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 34925089 m, 221162 m/sec, 40746251 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 270
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 167/1194 279/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 36000457 m, 215073 m/sec, 42000848 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 279
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 172/1194 287/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 37074953 m, 214899 m/sec, 43254427 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 287
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 177/1194 295/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 38133588 m, 211727 m/sec, 44489501 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 295
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 182/1194 303/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 39113005 m, 195883 m/sec, 45632153 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 303
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 187/1194 310/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 40096358 m, 196670 m/sec, 46779400 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 310
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 192/1194 318/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 41122822 m, 205292 m/sec, 47976941 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 318
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 197/1194 327/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 42202946 m, 216024 m/sec, 49237087 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 327
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 202/1194 335/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 43300046 m, 219420 m/sec, 50517036 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 335
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 207/1194 343/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 44350606 m, 210112 m/sec, 51742688 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 343
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 212/1194 351/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 45398509 m, 209580 m/sec, 52965241 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 351
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 217/1194 360/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 46485215 m, 217341 m/sec, 54233065 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 360
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 222/1194 367/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 47489129 m, 200782 m/sec, 55404300 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 367
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 227/1194 375/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 48465154 m, 195205 m/sec, 56542994 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 375
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 232/1194 383/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 49467388 m, 200446 m/sec, 57712269 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 383
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 237/1194 391/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 50504229 m, 207368 m/sec, 58921915 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 391
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 242/1194 399/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 51559730 m, 211100 m/sec, 60153334 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 399
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 247/1194 407/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 52647034 m, 217460 m/sec, 61421854 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 407
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 252/1194 415/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 53697554 m, 210104 m/sec, 62647463 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 415
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 257/1194 423/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 54673738 m, 195236 m/sec, 63786342 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 423
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 262/1194 430/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 55649110 m, 195074 m/sec, 64924276 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 430
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 267/1194 438/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 56676936 m, 205565 m/sec, 66123407 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 438
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 272/1194 447/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 57763332 m, 217279 m/sec, 67390869 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 447
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 277/1194 455/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 58829966 m, 213326 m/sec, 68635277 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 455
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 282/1194 463/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 59902992 m, 214605 m/sec, 69887138 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 463
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 287/1194 471/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 60956636 m, 210728 m/sec, 71116390 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 471
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 292/1194 479/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 61929232 m, 194519 m/sec, 72251087 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 479
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 297/1194 486/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 62898998 m, 193953 m/sec, 73382481 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 486
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 302/1194 494/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 63876499 m, 195500 m/sec, 74522898 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 494
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 307/1194 501/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 64851286 m, 194957 m/sec, 75660148 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 501
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 312/1194 509/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 65825765 m, 194895 m/sec, 76797043 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 509
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 317/1194 517/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 66799958 m, 194838 m/sec, 77933600 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 517
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 322/1194 524/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 67771618 m, 194332 m/sec, 79067202 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 524
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 327/1194 532/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 68742721 m, 194220 m/sec, 80200156 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 532
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 332/1194 539/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 69716581 m, 194772 m/sec, 81336325 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 539
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 337/1194 547/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 70783811 m, 213446 m/sec, 82581427 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 547
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 342/1194 556/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 71857135 m, 214664 m/sec, 83833640 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 556
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 347/1194 564/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 72929450 m, 214463 m/sec, 85084674 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 564
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 352/1194 572/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 73974058 m, 208921 m/sec, 86303382 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 572
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 357/1194 579/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 74946446 m, 194477 m/sec, 87437835 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 579
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 362/1194 587/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 75919514 m, 194613 m/sec, 88573082 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 587
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 367/1194 594/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 76894801 m, 195057 m/sec, 89710915 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 594
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 372/1194 603/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 77945970 m, 210233 m/sec, 90937283 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 603
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 377/1194 611/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 79021166 m, 215039 m/sec, 92191676 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 611
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 382/1194 619/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 80095179 m, 214802 m/sec, 93444692 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 619
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 387/1194 627/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 81166952 m, 214354 m/sec, 94695093 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 627
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 392/1194 636/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 82236701 m, 213949 m/sec, 95943133 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 636
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 397/1194 644/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 83309608 m, 214581 m/sec, 97194859 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 644
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 402/1194 652/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 84380372 m, 214152 m/sec, 98444083 t fired, .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 652
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 407/1194 661/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 85451367 m, 214199 m/sec, 99693577 t fired, .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 661
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 412/1194 669/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 86521089 m, 213944 m/sec, 100941586 t fired, .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 669
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 417/1194 677/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 87591112 m, 214004 m/sec, 102189947 t fired, .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 677
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 422/1194 685/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 88663317 m, 214441 m/sec, 103440852 t fired, .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 685
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 427/1194 694/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 89737731 m, 214882 m/sec, 104694336 t fired, .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 694
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 432/1194 702/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 90808261 m, 214106 m/sec, 105943288 t fired, .
[lola][.]
[lola][.] Time elapsed: 450 secs. Pages in use: 702
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 437/1194 710/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 91882771 m, 214902 m/sec, 107196881 t fired, .
[lola][.]
[lola][.] Time elapsed: 455 secs. Pages in use: 710
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 442/1194 719/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 92952051 m, 213856 m/sec, 108444376 t fired, .
[lola][.]
[lola][.] Time elapsed: 460 secs. Pages in use: 719
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 447/1194 727/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 94022196 m, 214029 m/sec, 109692876 t fired, .
[lola][.]
[lola][.] Time elapsed: 465 secs. Pages in use: 727
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 452/1194 734/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 95004314 m, 196423 m/sec, 110838683 t fired, .
[lola][.]
[lola][.] Time elapsed: 470 secs. Pages in use: 734
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 457/1194 742/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 95974235 m, 193984 m/sec, 111970255 t fired, .
[lola][.]
[lola][.] Time elapsed: 475 secs. Pages in use: 742
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 462/1194 749/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 96941679 m, 193488 m/sec, 113098941 t fired, .
[lola][.]
[lola][.] Time elapsed: 480 secs. Pages in use: 749
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 467/1194 757/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 97968514 m, 205367 m/sec, 114296914 t fired, .
[lola][.]
[lola][.] Time elapsed: 485 secs. Pages in use: 757
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 472/1194 766/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 99036562 m, 213609 m/sec, 115542971 t fired, .
[lola][.]
[lola][.] Time elapsed: 490 secs. Pages in use: 766
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 477/1194 774/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 100105973 m, 213882 m/sec, 116790617 t fired, .
[lola][.]
[lola][.] Time elapsed: 495 secs. Pages in use: 774
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 482/1194 782/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 101178475 m, 214500 m/sec, 118041870 t fired, .
[lola][.]
[lola][.] Time elapsed: 500 secs. Pages in use: 782
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 487/1194 790/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 102248293 m, 213963 m/sec, 119289990 t fired, .
[lola][.]
[lola][.] Time elapsed: 505 secs. Pages in use: 790
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-00: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-01: EF true findpath
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-04: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-05: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-07: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-09: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-10: CTL true CTL model checker
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-13: INITIAL true preprocessing
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m016-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m016-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 46 CTL EXCL 493/1194 792/2000 BugTracking-PT-q3m016-CTLFireability-2023-15 102487392 m, 47819 m/sec, 119568939 t fired, .
[lola][.]
[lola][.] Time elapsed: 511 secs. Pages in use: 792
[lola][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 416 Killed $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="BugTracking-PT-q3m016"
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 BugTracking-PT-q3m016, 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 r049-tajo-171620400600346"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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