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

About the Execution of LoLA for BugTracking-PT-q3m002

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16205.955 694450.00 1913080.00 5422.30 ?TFFF?FFFFFF?FFT normal

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2024-input.r049-tajo-171620400600321.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-q3m002, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-tajo-171620400600321
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 22 14:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 19 17:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 19 07:09 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-q3m002-CTLCardinality-2024-00
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-01
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-02
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-03
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-04
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-05
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-06
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-07
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-08
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-09
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-10
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2024-11
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2023-12
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2023-13
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2023-14
FORMULA_NAME BugTracking-PT-q3m002-CTLCardinality-2023-15

=== Now, execution of the tool begins

BK_START 1717019684533

FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2023-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2023-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2023-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m002-CTLCardinality-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717020378983

--------------------
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 CTLCardinality.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-q3m002-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 141 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-q3m002-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 146 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-q3m002-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 151 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] LAUNCH task # 32 (type CNST) for 31 BugTracking-PT-q3m002-CTLCardinality-2024-09
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 38 (type CNST) for 37 BugTracking-PT-q3m002-CTLCardinality-2024-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 32 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-09
[lola][I] result : false
[lola][I] LAUNCH task # 35 (type CNST) for 34 BugTracking-PT-q3m002-CTLCardinality-2024-10
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 38 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-11
[lola][I] result : false
[lola][I] FINISHED task # 35 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-10
[lola][I] result : false
[lola][I] LAUNCH task # 23 (type CNST) for 22 BugTracking-PT-q3m002-CTLCardinality-2024-06
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 44 (type CNST) for 43 BugTracking-PT-q3m002-CTLCardinality-2023-13
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 50 (type CNST) for 49 BugTracking-PT-q3m002-CTLCardinality-2023-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 44 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2023-13
[lola][I] result : false
[lola][I] LAUNCH task # 11 (type CNST) for 10 BugTracking-PT-q3m002-CTLCardinality-2024-02
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 11 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-02
[lola][I] result : false
[lola][I] LAUNCH task # 14 (type CNST) for 13 BugTracking-PT-q3m002-CTLCardinality-2024-03
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 29 (type CNST) for 28 BugTracking-PT-q3m002-CTLCardinality-2024-08
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 50 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2023-15
[lola][I] result : true
[lola][I] LAUNCH task # 26 (type CNST) for 25 BugTracking-PT-q3m002-CTLCardinality-2024-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 14 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-03
[lola][I] result : false
[lola][I] FINISHED task # 26 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-07
[lola][I] result : false
[lola][I] FINISHED task # 23 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-06
[lola][I] result : false
[lola][I] FINISHED task # 29 (type CNST) for BugTracking-PT-q3m002-CTLCardinality-2024-08
[lola][I] result : false
[lola][I] LAUNCH task # 6 (type EXCL) for 3 BugTracking-PT-q3m002-CTLCardinality-2024-01
[lola][I] time limit : 492 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 56 (type EQUN) for 46 BugTracking-PT-q3m002-CTLCardinality-2023-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 6 (type EXCL) for BugTracking-PT-q3m002-CTLCardinality-2024-01
[lola][I] result : false
[lola][I] markings : 3
[lola][I] fired transitions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 53 (type EXCL) for 46 BugTracking-PT-q3m002-CTLCardinality-2023-14
[lola][I] time limit : 574 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 53 (type EXCL) for BugTracking-PT-q3m002-CTLCardinality-2023-14
[lola][I] result : true
[lola][I] markings : 3
[lola][I] fired transitions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 56 (type EQUN) for BugTracking-PT-q3m002-CTLCardinality-2023-14 (obsolete)
[lola][I] LAUNCH task # 17 (type EXCL) for 16 BugTracking-PT-q3m002-CTLCardinality-2024-04
[lola][I] time limit : 688 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 17 (type EXCL) for BugTracking-PT-q3m002-CTLCardinality-2024-04
[lola][I] result : false
[lola][I] markings : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 8 (type EXCL) for 3 BugTracking-PT-q3m002-CTLCardinality-2024-01
[lola][I] time limit : 861 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 8 (type EXCL) for BugTracking-PT-q3m002-CTLCardinality-2024-01
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 1 (type EXCL) for 0 BugTracking-PT-q3m002-CTLCardinality-2024-00
[lola][I] time limit : 1148 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 1 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 0/1148 1/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 5080 m, 1016 m/sec, 5953 t fired, .
[lola][.]
[lola][.] Time elapsed: 156 secs. Pages in use: 1
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] LAUNCH task # 58 (type FNDP) for 19 BugTracking-PT-q3m002-CTLCardinality-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 59 (type EQUN) for 19 BugTracking-PT-q3m002-CTLCardinality-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 5/1148 7/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 876744 m, 174332 m/sec, 1022895 t fired, .
[lola][.] 58 EF FNDP 5/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 2982 attempts, .
[lola][.] 59 EF STEQ 5/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 161 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 10/1148 13/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 1562502 m, 137151 m/sec, 1822945 t fired, .
[lola][.] 58 EF FNDP 10/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 6137 attempts, .
[lola][.] 59 EF STEQ 10/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 166 secs. Pages in use: 13
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 15/1148 20/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 2465101 m, 180519 m/sec, 2875978 t fired, .
[lola][.] 58 EF FNDP 15/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 9246 attempts, .
[lola][.] 59 EF STEQ 15/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 171 secs. Pages in use: 20
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 20/1148 27/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 3431640 m, 193307 m/sec, 4003607 t fired, .
[lola][.] 58 EF FNDP 20/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 11567 attempts, .
[lola][.] 59 EF STEQ 20/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 176 secs. Pages in use: 27
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 25/1148 34/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 4396407 m, 192953 m/sec, 5129169 t fired, .
[lola][.] 58 EF FNDP 25/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 14657 attempts, .
[lola][.] 59 EF STEQ 25/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 181 secs. Pages in use: 34
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 30/1148 42/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 5357416 m, 192201 m/sec, 6250345 t fired, .
[lola][.] 58 EF FNDP 30/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 17654 attempts, .
[lola][.] 59 EF STEQ 30/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 186 secs. Pages in use: 42
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 35/1148 49/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 6318107 m, 192138 m/sec, 7371150 t fired, .
[lola][.] 58 EF FNDP 35/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 20717 attempts, .
[lola][.] 59 EF STEQ 35/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 191 secs. Pages in use: 49
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 40/1148 55/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 7056900 m, 147758 m/sec, 8233077 t fired, .
[lola][.] 58 EF FNDP 40/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 23783 attempts, .
[lola][.] 59 EF STEQ 40/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 196 secs. Pages in use: 55
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 45/1148 61/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 7881851 m, 164990 m/sec, 9195518 t fired, .
[lola][.] 58 EF FNDP 45/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 26882 attempts, .
[lola][.] 59 EF STEQ 45/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 201 secs. Pages in use: 61
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 50/1148 69/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 8841858 m, 192001 m/sec, 10315527 t fired, .
[lola][.] 58 EF FNDP 50/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 30017 attempts, .
[lola][.] 59 EF STEQ 50/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 206 secs. Pages in use: 69
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 55/1148 76/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 9798959 m, 191420 m/sec, 11432144 t fired, .
[lola][.] 58 EF FNDP 55/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 33145 attempts, .
[lola][.] 59 EF STEQ 55/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 211 secs. Pages in use: 76
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 60/1148 84/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 10754705 m, 191149 m/sec, 12547182 t fired, .
[lola][.] 58 EF FNDP 60/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 36282 attempts, .
[lola][.] 59 EF STEQ 60/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 216 secs. Pages in use: 84
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 65/1148 91/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 11712356 m, 191530 m/sec, 13664442 t fired, .
[lola][.] 58 EF FNDP 65/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 39299 attempts, .
[lola][.] 59 EF STEQ 65/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 221 secs. Pages in use: 91
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 70/1148 98/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 12667764 m, 191081 m/sec, 14779086 t fired, .
[lola][.] 58 EF FNDP 70/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 42434 attempts, .
[lola][.] 59 EF STEQ 70/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 226 secs. Pages in use: 98
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 75/1148 106/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 13623803 m, 191207 m/sec, 15894462 t fired, .
[lola][.] 58 EF FNDP 75/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 45383 attempts, .
[lola][.] 59 EF STEQ 75/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 231 secs. Pages in use: 106
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 80/1148 113/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 14580808 m, 191401 m/sec, 17010970 t fired, .
[lola][.] 58 EF FNDP 80/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 48439 attempts, .
[lola][.] 59 EF STEQ 80/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 236 secs. Pages in use: 113
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 85/1148 121/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 15536511 m, 191140 m/sec, 18125956 t fired, .
[lola][.] 58 EF FNDP 85/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 51529 attempts, .
[lola][.] 59 EF STEQ 85/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 241 secs. Pages in use: 121
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 90/1148 128/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 16493192 m, 191336 m/sec, 19242083 t fired, .
[lola][.] 58 EF FNDP 90/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 54540 attempts, .
[lola][.] 59 EF STEQ 90/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 246 secs. Pages in use: 128
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 95/1148 135/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 17448720 m, 191105 m/sec, 20356866 t fired, .
[lola][.] 58 EF FNDP 95/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 57571 attempts, .
[lola][.] 59 EF STEQ 95/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 251 secs. Pages in use: 135
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 100/1148 143/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 18404012 m, 191058 m/sec, 21471373 t fired, .
[lola][.] 58 EF FNDP 100/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 60643 attempts, .
[lola][.] 59 EF STEQ 100/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 256 secs. Pages in use: 143
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 105/1148 150/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 19359086 m, 191014 m/sec, 22585628 t fired, .
[lola][.] 58 EF FNDP 105/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 63677 attempts, .
[lola][.] 59 EF STEQ 105/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 261 secs. Pages in use: 150
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 110/1148 157/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 20313998 m, 190982 m/sec, 23699692 t fired, .
[lola][.] 58 EF FNDP 110/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 66768 attempts, .
[lola][.] 59 EF STEQ 110/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 266 secs. Pages in use: 157
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 115/1148 165/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 21268252 m, 190850 m/sec, 24812988 t fired, .
[lola][.] 58 EF FNDP 115/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 69890 attempts, .
[lola][.] 59 EF STEQ 115/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 271 secs. Pages in use: 165
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 120/1148 172/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 22222903 m, 190930 m/sec, 25926746 t fired, .
[lola][.] 58 EF FNDP 120/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 72968 attempts, .
[lola][.] 59 EF STEQ 120/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 276 secs. Pages in use: 172
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 125/1148 180/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 23176316 m, 190682 m/sec, 27039061 t fired, .
[lola][.] 58 EF FNDP 125/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 75993 attempts, .
[lola][.] 59 EF STEQ 125/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 281 secs. Pages in use: 180
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 130/1148 187/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 24129997 m, 190736 m/sec, 28151690 t fired, .
[lola][.] 58 EF FNDP 130/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 78973 attempts, .
[lola][.] 59 EF STEQ 130/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 286 secs. Pages in use: 187
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 135/1148 194/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 25081853 m, 190371 m/sec, 29262188 t fired, .
[lola][.] 58 EF FNDP 135/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 81938 attempts, .
[lola][.] 59 EF STEQ 135/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 291 secs. Pages in use: 194
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 140/1148 202/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 26036195 m, 190868 m/sec, 30375588 t fired, .
[lola][.] 58 EF FNDP 140/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 85001 attempts, .
[lola][.] 59 EF STEQ 140/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 296 secs. Pages in use: 202
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 145/1148 209/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 26990741 m, 190909 m/sec, 31489225 t fired, .
[lola][.] 58 EF FNDP 145/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 88014 attempts, .
[lola][.] 59 EF STEQ 145/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 301 secs. Pages in use: 209
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 150/1148 216/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 27943881 m, 190628 m/sec, 32601221 t fired, .
[lola][.] 58 EF FNDP 150/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 91063 attempts, .
[lola][.] 59 EF STEQ 150/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 306 secs. Pages in use: 216
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 155/1148 224/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 28895480 m, 190319 m/sec, 33711419 t fired, .
[lola][.] 58 EF FNDP 155/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 94106 attempts, .
[lola][.] 59 EF STEQ 155/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 311 secs. Pages in use: 224
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 160/1148 231/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 29846423 m, 190188 m/sec, 34820852 t fired, .
[lola][.] 58 EF FNDP 160/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 97122 attempts, .
[lola][.] 59 EF STEQ 160/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 316 secs. Pages in use: 231
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 165/1148 238/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 30797352 m, 190185 m/sec, 35930270 t fired, .
[lola][.] 58 EF FNDP 165/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 100146 attempts, .
[lola][.] 59 EF STEQ 165/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 321 secs. Pages in use: 238
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 170/1148 246/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 31748726 m, 190274 m/sec, 37040208 t fired, .
[lola][.] 58 EF FNDP 170/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 103211 attempts, .
[lola][.] 59 EF STEQ 170/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 326 secs. Pages in use: 246
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 175/1148 253/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 32701188 m, 190492 m/sec, 38151412 t fired, .
[lola][.] 58 EF FNDP 175/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 106225 attempts, .
[lola][.] 59 EF STEQ 175/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 331 secs. Pages in use: 253
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 180/1148 260/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 33652333 m, 190229 m/sec, 39261082 t fired, .
[lola][.] 58 EF FNDP 180/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 109264 attempts, .
[lola][.] 59 EF STEQ 180/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 336 secs. Pages in use: 260
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 185/1148 268/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 34602118 m, 189957 m/sec, 40369164 t fired, .
[lola][.] 58 EF FNDP 185/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 112276 attempts, .
[lola][.] 59 EF STEQ 185/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 341 secs. Pages in use: 268
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 190/1148 275/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 35552082 m, 189992 m/sec, 41477456 t fired, .
[lola][.] 58 EF FNDP 190/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 115269 attempts, .
[lola][.] 59 EF STEQ 190/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 346 secs. Pages in use: 275
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 195/1148 282/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 36498977 m, 189379 m/sec, 42582166 t fired, .
[lola][.] 58 EF FNDP 195/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 118231 attempts, .
[lola][.] 59 EF STEQ 195/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 351 secs. Pages in use: 282
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 200/1148 290/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 37446396 m, 189483 m/sec, 43687489 t fired, .
[lola][.] 58 EF FNDP 200/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 121281 attempts, .
[lola][.] 59 EF STEQ 200/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 356 secs. Pages in use: 290
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 205/1148 297/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 38396591 m, 190039 m/sec, 44796048 t fired, .
[lola][.] 58 EF FNDP 205/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 124317 attempts, .
[lola][.] 59 EF STEQ 205/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 361 secs. Pages in use: 297
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 210/1148 304/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 39347781 m, 190238 m/sec, 45905770 t fired, .
[lola][.] 58 EF FNDP 210/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 127436 attempts, .
[lola][.] 59 EF STEQ 210/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 366 secs. Pages in use: 304
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 215/1148 312/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 40299983 m, 190440 m/sec, 47016673 t fired, .
[lola][.] 58 EF FNDP 215/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 130491 attempts, .
[lola][.] 59 EF STEQ 215/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 371 secs. Pages in use: 312
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 220/1148 319/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 41249064 m, 189816 m/sec, 48123935 t fired, .
[lola][.] 58 EF FNDP 220/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 133524 attempts, .
[lola][.] 59 EF STEQ 220/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 376 secs. Pages in use: 319
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 225/1148 326/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 42198996 m, 189986 m/sec, 49232189 t fired, .
[lola][.] 58 EF FNDP 225/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 136631 attempts, .
[lola][.] 59 EF STEQ 225/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 381 secs. Pages in use: 326
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 230/1148 334/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 43148819 m, 189964 m/sec, 50340315 t fired, .
[lola][.] 58 EF FNDP 230/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 139539 attempts, .
[lola][.] 59 EF STEQ 230/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 386 secs. Pages in use: 334
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 235/1148 341/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 44097797 m, 189795 m/sec, 51447457 t fired, .
[lola][.] 58 EF FNDP 235/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 142531 attempts, .
[lola][.] 59 EF STEQ 235/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 391 secs. Pages in use: 341
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 240/1148 348/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 45047268 m, 189894 m/sec, 52555174 t fired, .
[lola][.] 58 EF FNDP 240/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 145584 attempts, .
[lola][.] 59 EF STEQ 240/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 396 secs. Pages in use: 348
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 245/1148 355/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 45905951 m, 171736 m/sec, 53556968 t fired, .
[lola][.] 58 EF FNDP 245/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 148345 attempts, .
[lola][.] 59 EF STEQ 245/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 401 secs. Pages in use: 355
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 250/1148 362/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 46797512 m, 178312 m/sec, 54597123 t fired, .
[lola][.] 58 EF FNDP 250/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 151176 attempts, .
[lola][.] 59 EF STEQ 250/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 406 secs. Pages in use: 362
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 255/1148 369/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 47706804 m, 181858 m/sec, 55657965 t fired, .
[lola][.] 58 EF FNDP 255/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 154276 attempts, .
[lola][.] 59 EF STEQ 255/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 411 secs. Pages in use: 369
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 260/1148 376/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 48654806 m, 189600 m/sec, 56763968 t fired, .
[lola][.] 58 EF FNDP 260/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 157281 attempts, .
[lola][.] 59 EF STEQ 260/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 416 secs. Pages in use: 376
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 265/1148 384/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 49601517 m, 189342 m/sec, 57868462 t fired, .
[lola][.] 58 EF FNDP 265/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 160265 attempts, .
[lola][.] 59 EF STEQ 265/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 421 secs. Pages in use: 384
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 270/1148 391/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 50550249 m, 189746 m/sec, 58975317 t fired, .
[lola][.] 58 EF FNDP 270/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 163190 attempts, .
[lola][.] 59 EF STEQ 270/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 426 secs. Pages in use: 391
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 275/1148 398/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 51502931 m, 190536 m/sec, 60086778 t fired, .
[lola][.] 58 EF FNDP 275/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 166171 attempts, .
[lola][.] 59 EF STEQ 275/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 431 secs. Pages in use: 398
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 280/1148 406/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 52453141 m, 190042 m/sec, 61195358 t fired, .
[lola][.] 58 EF FNDP 280/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 169201 attempts, .
[lola][.] 59 EF STEQ 280/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 436 secs. Pages in use: 406
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 285/1148 413/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 53402127 m, 189797 m/sec, 62302508 t fired, .
[lola][.] 58 EF FNDP 285/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 172180 attempts, .
[lola][.] 59 EF STEQ 285/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 441 secs. Pages in use: 413
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 290/1148 420/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 54353143 m, 190203 m/sec, 63412026 t fired, .
[lola][.] 58 EF FNDP 290/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 175294 attempts, .
[lola][.] 59 EF STEQ 290/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 446 secs. Pages in use: 420
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 295/1148 427/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 55193879 m, 168147 m/sec, 64392885 t fired, .
[lola][.] 58 EF FNDP 295/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 177995 attempts, .
[lola][.] 59 EF STEQ 295/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 451 secs. Pages in use: 427
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 300/1148 434/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 56105110 m, 182246 m/sec, 65455988 t fired, .
[lola][.] 58 EF FNDP 300/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 180918 attempts, .
[lola][.] 59 EF STEQ 300/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 456 secs. Pages in use: 434
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 305/1148 441/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 56985002 m, 175978 m/sec, 66482530 t fired, .
[lola][.] 58 EF FNDP 305/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 183833 attempts, .
[lola][.] 59 EF STEQ 305/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 461 secs. Pages in use: 441
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 310/1148 448/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 57909681 m, 184935 m/sec, 67561320 t fired, .
[lola][.] 58 EF FNDP 310/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 186821 attempts, .
[lola][.] 59 EF STEQ 310/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 466 secs. Pages in use: 448
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 315/1148 455/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 58789080 m, 175879 m/sec, 68587288 t fired, .
[lola][.] 58 EF FNDP 315/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 189654 attempts, .
[lola][.] 59 EF STEQ 315/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 471 secs. Pages in use: 455
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 320/1148 462/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 59721659 m, 186515 m/sec, 69675294 t fired, .
[lola][.] 58 EF FNDP 320/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 192514 attempts, .
[lola][.] 59 EF STEQ 320/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 476 secs. Pages in use: 462
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 325/1148 469/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 60590051 m, 173678 m/sec, 70688418 t fired, .
[lola][.] 58 EF FNDP 325/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 195296 attempts, .
[lola][.] 59 EF STEQ 325/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 481 secs. Pages in use: 469
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 330/1148 475/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 61481381 m, 178266 m/sec, 71728305 t fired, .
[lola][.] 58 EF FNDP 330/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 198138 attempts, .
[lola][.] 59 EF STEQ 330/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 486 secs. Pages in use: 475
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 335/1148 483/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 62401487 m, 184021 m/sec, 72801762 t fired, .
[lola][.] 58 EF FNDP 335/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 201072 attempts, .
[lola][.] 59 EF STEQ 335/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 491 secs. Pages in use: 483
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 340/1148 490/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 63341856 m, 188073 m/sec, 73898860 t fired, .
[lola][.] 58 EF FNDP 340/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 204084 attempts, .
[lola][.] 59 EF STEQ 340/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 496 secs. Pages in use: 490
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 345/1148 497/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 64287575 m, 189143 m/sec, 75002197 t fired, .
[lola][.] 58 EF FNDP 345/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 207110 attempts, .
[lola][.] 59 EF STEQ 345/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 501 secs. Pages in use: 497
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 350/1148 504/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 65235440 m, 189573 m/sec, 76108039 t fired, .
[lola][.] 58 EF FNDP 350/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 210174 attempts, .
[lola][.] 59 EF STEQ 350/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 506 secs. Pages in use: 504
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 355/1148 512/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 66182221 m, 189356 m/sec, 77212618 t fired, .
[lola][.] 58 EF FNDP 355/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 213148 attempts, .
[lola][.] 59 EF STEQ 355/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 511 secs. Pages in use: 512
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 360/1148 519/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 67126944 m, 188944 m/sec, 78314795 t fired, .
[lola][.] 58 EF FNDP 360/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 216226 attempts, .
[lola][.] 59 EF STEQ 360/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 516 secs. Pages in use: 519
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 365/1148 526/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 68070263 m, 188663 m/sec, 79415334 t fired, .
[lola][.] 58 EF FNDP 365/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 219237 attempts, .
[lola][.] 59 EF STEQ 365/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 521 secs. Pages in use: 526
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 370/1148 534/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 69014437 m, 188834 m/sec, 80516870 t fired, .
[lola][.] 58 EF FNDP 370/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 222263 attempts, .
[lola][.] 59 EF STEQ 370/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 526 secs. Pages in use: 534
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 375/1148 541/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 69962524 m, 189617 m/sec, 81622972 t fired, .
[lola][.] 58 EF FNDP 375/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 225345 attempts, .
[lola][.] 59 EF STEQ 375/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 531 secs. Pages in use: 541
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 380/1148 548/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 70909619 m, 189419 m/sec, 82727914 t fired, .
[lola][.] 58 EF FNDP 380/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 228330 attempts, .
[lola][.] 59 EF STEQ 380/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 536 secs. Pages in use: 548
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 385/1148 556/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 71856764 m, 189429 m/sec, 83832917 t fired, .
[lola][.] 58 EF FNDP 385/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 231401 attempts, .
[lola][.] 59 EF STEQ 385/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 541 secs. Pages in use: 556
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 390/1148 563/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 72803068 m, 189260 m/sec, 84936940 t fired, .
[lola][.] 58 EF FNDP 390/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 234388 attempts, .
[lola][.] 59 EF STEQ 390/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 546 secs. Pages in use: 563
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 395/1148 570/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 73749031 m, 189192 m/sec, 86040562 t fired, .
[lola][.] 58 EF FNDP 395/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 237435 attempts, .
[lola][.] 59 EF STEQ 395/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 551 secs. Pages in use: 570
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 400/1148 577/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 74596741 m, 169542 m/sec, 87029559 t fired, .
[lola][.] 58 EF FNDP 400/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 240230 attempts, .
[lola][.] 59 EF STEQ 400/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 556 secs. Pages in use: 577
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 405/1148 584/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 75513468 m, 183345 m/sec, 88099073 t fired, .
[lola][.] 58 EF FNDP 405/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 243029 attempts, .
[lola][.] 59 EF STEQ 405/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 561 secs. Pages in use: 584
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 410/1148 591/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 76440105 m, 185327 m/sec, 89180148 t fired, .
[lola][.] 58 EF FNDP 410/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 245950 attempts, .
[lola][.] 59 EF STEQ 410/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 566 secs. Pages in use: 591
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 415/1148 598/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 77386919 m, 189362 m/sec, 90284764 t fired, .
[lola][.] 58 EF FNDP 415/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 249032 attempts, .
[lola][.] 59 EF STEQ 415/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 571 secs. Pages in use: 598
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 420/1148 606/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 78333755 m, 189367 m/sec, 91389406 t fired, .
[lola][.] 58 EF FNDP 420/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 252005 attempts, .
[lola][.] 59 EF STEQ 420/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 576 secs. Pages in use: 606
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 425/1148 613/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 79279455 m, 189140 m/sec, 92492725 t fired, .
[lola][.] 58 EF FNDP 425/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 255018 attempts, .
[lola][.] 59 EF STEQ 425/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 581 secs. Pages in use: 613
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 430/1148 620/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80218842 m, 187877 m/sec, 93588675 t fired, .
[lola][.] 58 EF FNDP 430/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 257980 attempts, .
[lola][.] 59 EF STEQ 430/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 586 secs. Pages in use: 620
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 441/1148 622/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80419872 m, 40206 m/sec, 93823211 t fired, .
[lola][.] 58 EF FNDP 441/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 258737 attempts, .
[lola][.] 59 EF STEQ 441/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 597 secs. Pages in use: 622
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 447/1148 622/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80455509 m, 7127 m/sec, 93864786 t fired, .
[lola][.] 58 EF FNDP 447/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 258875 attempts, .
[lola][.] 59 EF STEQ 447/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 603 secs. Pages in use: 622
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 453/1148 623/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80562001 m, 21298 m/sec, 93989028 t fired, .
[lola][.] 58 EF FNDP 453/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 259220 attempts, .
[lola][.] 59 EF STEQ 453/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 609 secs. Pages in use: 623
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 459/1148 623/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80581251 m, 3850 m/sec, 94011487 t fired, .
[lola][.] 58 EF FNDP 459/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 259256 attempts, .
[lola][.] 59 EF STEQ 459/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 615 secs. Pages in use: 623
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 464/1148 623/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80644282 m, 12606 m/sec, 94085022 t fired, .
[lola][.] 58 EF FNDP 464/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 259512 attempts, .
[lola][.] 59 EF STEQ 464/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 620 secs. Pages in use: 623
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 490/1148 624/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80678648 m, 6873 m/sec, 94125115 t fired, .
[lola][.] 58 EF FNDP 490/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 259724 attempts, .
[lola][.] 59 EF STEQ 492/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 650 secs. Pages in use: 624
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-01: DISJ true CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-02: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-03: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-04: CTL false CTL model checker
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-09: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-10: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-13: INITIAL false preprocessing
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-14: F false state space / EG
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-15: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-00: CTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2024-05: AG 0 1 2 0 1 0 0 0
[lola][.] BugTracking-PT-q3m002-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 CTL EXCL 525/1148 624/2000 BugTracking-PT-q3m002-CTLCardinality-2024-00 80689916 m, 2253 m/sec, 94138261 t fired, .
[lola][.] 58 EF FNDP 527/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 259770 attempts, .
[lola][.] 59 EF STEQ 528/3444 0/5 BugTracking-PT-q3m002-CTLCardinality-2024-05 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 686 secs. Pages in use: 624
[lola][.] # running tasks: 3 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 412 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-q3m002"
export BK_EXAMINATION="CTLCardinality"
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-q3m002, examination is CTLCardinality"
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-171620400600321"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q3m002.tgz
mv BugTracking-PT-q3m002 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;