fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r115-smll-171624277000425
Last Updated
July 7, 2024

About the Execution of LoLA for DNAwalker-PT-08ringLL

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4292.327 523031.00 525864.00 2199.70 TFTTTFFTTFTFTTTF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r115-smll-171624277000425.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is DNAwalker-PT-08ringLL, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-smll-171624277000425
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 22 14:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 22 14:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 13 13:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Apr 13 13:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 13 13:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K Apr 13 13:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 22 14:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 9 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 112K 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 DNAwalker-PT-08ringLL-CTLCardinality-2024-00
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-01
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-02
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-03
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-04
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-05
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-06
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-07
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-08
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-09
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-10
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2024-11
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2023-12
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2023-13
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2023-14
FORMULA_NAME DNAwalker-PT-08ringLL-CTLCardinality-2023-15

=== Now, execution of the tool begins

BK_START 1717168228924

FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2023-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2023-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2023-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2023-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-CTLCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF false tscc_search
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ true CONJ
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL false CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL true CTL model checker
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola]
[lola] Time elapsed: 522 secs. Pages in use: 113

BK_STOP 1717168751955

--------------------
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] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 59 (type CNST) for 58 DNAwalker-PT-08ringLL-CTLCardinality-2023-14
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 59 (type CNST) for DNAwalker-PT-08ringLL-CTLCardinality-2023-14
[lola][I] result : true
[lola][I] LAUNCH task # 29 (type CNST) for 28 DNAwalker-PT-08ringLL-CTLCardinality-2024-04
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 32 (type EXCL) for 31 DNAwalker-PT-08ringLL-CTLCardinality-2024-05
[lola][I] time limit : 189 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 67 (type EQUN) for 3 DNAwalker-PT-08ringLL-CTLCardinality-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 69 (type EQUN) for 3 DNAwalker-PT-08ringLL-CTLCardinality-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 29 (type CNST) for DNAwalker-PT-08ringLL-CTLCardinality-2024-04
[lola][I] result : true
[lola][I] LAUNCH task # 73 (type EQUN) for 17 DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 67 (type EQUN) for DNAwalker-PT-08ringLL-CTLCardinality-2024-01
[lola][I] result : true
[lola][I] FINISHED task # 69 (type EQUN) for DNAwalker-PT-08ringLL-CTLCardinality-2024-01
[lola][I] result : unknown
[lola][I] LAUNCH task # 75 (type EQUN) for 17 DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 73 (type EQUN) for DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] result : true
[lola][I] FINISHED task # 75 (type EQUN) for DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] result : unknown
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 5/199 3/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 684380 m, 136876 m/sec, 5168967 t fired, .
[lola][.]
[lola][.] Time elapsed: 8 secs. Pages in use: 3
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 10/199 6/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 1292053 m, 121534 m/sec, 10240692 t fired, .
[lola][.]
[lola][.] Time elapsed: 13 secs. Pages in use: 6
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 15/199 9/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 1908428 m, 123275 m/sec, 15660317 t fired, .
[lola][.]
[lola][.] Time elapsed: 18 secs. Pages in use: 9
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 20/199 11/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 2469472 m, 112208 m/sec, 20995426 t fired, .
[lola][.]
[lola][.] Time elapsed: 23 secs. Pages in use: 11
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 25/199 13/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 3055563 m, 117218 m/sec, 26416916 t fired, .
[lola][.]
[lola][.] Time elapsed: 28 secs. Pages in use: 13
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 30/199 16/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 3694643 m, 127816 m/sec, 31985471 t fired, .
[lola][.]
[lola][.] Time elapsed: 33 secs. Pages in use: 16
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 35/199 18/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 4262183 m, 113508 m/sec, 37404099 t fired, .
[lola][.]
[lola][.] Time elapsed: 38 secs. Pages in use: 18
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 32 CTL EXCL 40/199 21/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-05 4859791 m, 119521 m/sec, 42745872 t fired, .
[lola][.]
[lola][.] Time elapsed: 43 secs. Pages in use: 21
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] FINISHED task # 32 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-05
[lola][I] result : false
[lola][I] markings : 5398468
[lola][I] fired transitions : 47942607
[lola][I] time used : 44
[lola][I] memory pages used : 23
[lola][I] LAUNCH task # 62 (type EXCL) for 61 DNAwalker-PT-08ringLL-CTLCardinality-2023-15
[lola][I] time limit : 209 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 62 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2023-15
[lola][I] result : false
[lola][I] markings : 843
[lola][I] fired transitions : 3842
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 50 (type EXCL) for 49 DNAwalker-PT-08ringLL-CTLCardinality-2024-11
[lola][I] time limit : 222 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 3 0 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 CTL EXCL 1/222 1/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-11 8178 m, 1635 m/sec, 11550 t fired, .
[lola][.]
[lola][.] Time elapsed: 48 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] FINISHED task # 50 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-11
[lola][I] result : false
[lola][I] markings : 21815
[lola][I] fired transitions : 31920
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 47 (type EXCL) for 46 DNAwalker-PT-08ringLL-CTLCardinality-2024-10
[lola][I] time limit : 236 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 47 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-10
[lola][I] result : true
[lola][I] markings : 12393
[lola][I] fired transitions : 15310
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 44 (type EXCL) for 43 DNAwalker-PT-08ringLL-CTLCardinality-2024-09
[lola][I] time limit : 253 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 44 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-09
[lola][I] result : false
[lola][I] markings : 18
[lola][I] fired transitions : 19
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 41 (type EXCL) for 40 DNAwalker-PT-08ringLL-CTLCardinality-2024-08
[lola][I] time limit : 273 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 41 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-08
[lola][I] result : true
[lola][I] markings : 28035
[lola][I] fired transitions : 80883
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 38 (type EXCL) for 37 DNAwalker-PT-08ringLL-CTLCardinality-2024-07
[lola][I] time limit : 296 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 38 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-07
[lola][I] result : true
[lola][I] markings : 10496
[lola][I] fired transitions : 22648
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 26 (type EXCL) for 17 DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] time limit : 322 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 5/322 3/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 707555 m, 141511 m/sec, 4849678 t fired, .
[lola][.]
[lola][.] Time elapsed: 53 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 10/322 6/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 1345909 m, 127670 m/sec, 10119686 t fired, .
[lola][.]
[lola][.] Time elapsed: 58 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 15/322 9/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 1993859 m, 129590 m/sec, 15094002 t fired, .
[lola][.]
[lola][.] Time elapsed: 63 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 20/322 11/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 2606775 m, 122583 m/sec, 20185776 t fired, .
[lola][.]
[lola][.] Time elapsed: 68 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 25/322 14/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 3218913 m, 122427 m/sec, 25211468 t fired, .
[lola][.]
[lola][.] Time elapsed: 73 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 30/322 16/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 3880145 m, 132246 m/sec, 30999290 t fired, .
[lola][.]
[lola][.] Time elapsed: 78 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 35/322 19/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 4577570 m, 139485 m/sec, 36605805 t fired, .
[lola][.]
[lola][.] Time elapsed: 83 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 40/322 22/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 5164278 m, 117341 m/sec, 41981469 t fired, .
[lola][.]
[lola][.] Time elapsed: 88 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 45/322 24/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 5758400 m, 118824 m/sec, 47258822 t fired, .
[lola][.]
[lola][.] Time elapsed: 93 secs. Pages in use: 24
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 50/322 26/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 6356829 m, 119685 m/sec, 52310370 t fired, .
[lola][.]
[lola][.] Time elapsed: 98 secs. Pages in use: 26
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 55/322 28/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 6832872 m, 95208 m/sec, 57135543 t fired, .
[lola][.]
[lola][.] Time elapsed: 103 secs. Pages in use: 28
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 60/322 30/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 7356146 m, 104654 m/sec, 61711398 t fired, .
[lola][.]
[lola][.] Time elapsed: 108 secs. Pages in use: 30
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 65/322 32/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 7855227 m, 99816 m/sec, 66576469 t fired, .
[lola][.]
[lola][.] Time elapsed: 113 secs. Pages in use: 32
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 3 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ 0 2 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 26 CTL EXCL 70/322 34/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-03 8365457 m, 102046 m/sec, 71578511 t fired, .
[lola][.]
[lola][.] Time elapsed: 118 secs. Pages in use: 34
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] FINISHED task # 26 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] result : false
[lola][I] markings : 8883429
[lola][I] fired transitions : 76668265
[lola][I] time used : 74
[lola][I] memory pages used : 36
[lola][I] LAUNCH task # 20 (type EXCL) for 17 DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] time limit : 347 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 20 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-03
[lola][I] result : true
[lola][I] markings : 15
[lola][I] fired transitions : 16
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 15 (type EXCL) for 6 DNAwalker-PT-08ringLL-CTLCardinality-2024-02
[lola][I] time limit : 434 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 15 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-02
[lola][I] result : true
[lola][I] markings : 27
[lola][I] fired transitions : 26
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 13 (type EXCL) for 6 DNAwalker-PT-08ringLL-CTLCardinality-2024-02
[lola][I] time limit : 496 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 13 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-02
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 9 (type EXCL) for 6 DNAwalker-PT-08ringLL-CTLCardinality-2024-02
[lola][I] time limit : 579 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 1/579 1/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 48761 m, 9752 m/sec, 285876 t fired, .
[lola][.]
[lola][.] Time elapsed: 123 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 6/579 3/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 563713 m, 102990 m/sec, 4340402 t fired, .
[lola][.]
[lola][.] Time elapsed: 128 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 11/579 5/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 1016129 m, 90483 m/sec, 8366332 t fired, .
[lola][.]
[lola][.] Time elapsed: 133 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 16/579 7/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 1459113 m, 88596 m/sec, 12300437 t fired, .
[lola][.]
[lola][.] Time elapsed: 138 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 21/579 9/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 1912484 m, 90674 m/sec, 16299839 t fired, .
[lola][.]
[lola][.] Time elapsed: 143 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 26/579 10/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 2319165 m, 81336 m/sec, 20175586 t fired, .
[lola][.]
[lola][.] Time elapsed: 148 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 31/579 12/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 2692759 m, 74718 m/sec, 24325755 t fired, .
[lola][.]
[lola][.] Time elapsed: 153 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 36/579 14/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 3146155 m, 90679 m/sec, 28270564 t fired, .
[lola][.]
[lola][.] Time elapsed: 158 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 41/579 16/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 3589037 m, 88576 m/sec, 32178580 t fired, .
[lola][.]
[lola][.] Time elapsed: 163 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 46/579 17/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 3995169 m, 81226 m/sec, 36050156 t fired, .
[lola][.]
[lola][.] Time elapsed: 168 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 51/579 19/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 4416254 m, 84217 m/sec, 40207922 t fired, .
[lola][.]
[lola][.] Time elapsed: 173 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 56/579 21/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 4829011 m, 82551 m/sec, 44090831 t fired, .
[lola][.]
[lola][.] Time elapsed: 178 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 61/579 22/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 5214584 m, 77114 m/sec, 47775179 t fired, .
[lola][.]
[lola][.] Time elapsed: 183 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 66/579 24/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 5566476 m, 70378 m/sec, 51390666 t fired, .
[lola][.]
[lola][.] Time elapsed: 188 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 71/579 26/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 5980697 m, 82844 m/sec, 55035203 t fired, .
[lola][.]
[lola][.] Time elapsed: 193 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 76/579 27/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 6433949 m, 90650 m/sec, 58779265 t fired, .
[lola][.]
[lola][.] Time elapsed: 198 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 81/579 29/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 6884526 m, 90115 m/sec, 62527381 t fired, .
[lola][.]
[lola][.] Time elapsed: 203 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 86/579 31/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 7285751 m, 80245 m/sec, 66117697 t fired, .
[lola][.]
[lola][.] Time elapsed: 208 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 91/579 33/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 7647990 m, 72447 m/sec, 69848369 t fired, .
[lola][.]
[lola][.] Time elapsed: 213 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 96/579 34/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 8061208 m, 82643 m/sec, 73486850 t fired, .
[lola][.]
[lola][.] Time elapsed: 218 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 101/579 36/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 8469176 m, 81593 m/sec, 77029898 t fired, .
[lola][.]
[lola][.] Time elapsed: 223 secs. Pages in use: 36
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 106/579 38/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 8849831 m, 76131 m/sec, 80611324 t fired, .
[lola][.]
[lola][.] Time elapsed: 228 secs. Pages in use: 38
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 111/579 39/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 9224472 m, 74928 m/sec, 84390020 t fired, .
[lola][.]
[lola][.] Time elapsed: 233 secs. Pages in use: 39
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 116/579 41/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 9612288 m, 77563 m/sec, 87815074 t fired, .
[lola][.]
[lola][.] Time elapsed: 238 secs. Pages in use: 41
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 121/579 42/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 9961724 m, 69887 m/sec, 91453945 t fired, .
[lola][.]
[lola][.] Time elapsed: 243 secs. Pages in use: 42
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 126/579 44/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 10333002 m, 74255 m/sec, 94835465 t fired, .
[lola][.]
[lola][.] Time elapsed: 248 secs. Pages in use: 44
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 131/579 45/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 10677485 m, 68896 m/sec, 98367446 t fired, .
[lola][.]
[lola][.] Time elapsed: 253 secs. Pages in use: 45
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 136/579 47/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 11007352 m, 65973 m/sec, 101684912 t fired, .
[lola][.]
[lola][.] Time elapsed: 258 secs. Pages in use: 47
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 141/579 48/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 11317988 m, 62127 m/sec, 104886419 t fired, .
[lola][.]
[lola][.] Time elapsed: 263 secs. Pages in use: 48
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 146/579 49/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 11624758 m, 61354 m/sec, 108344369 t fired, .
[lola][.]
[lola][.] Time elapsed: 268 secs. Pages in use: 49
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 151/579 51/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 11919593 m, 58967 m/sec, 111812404 t fired, .
[lola][.]
[lola][.] Time elapsed: 273 secs. Pages in use: 51
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 156/579 52/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 12202573 m, 56596 m/sec, 115140335 t fired, .
[lola][.]
[lola][.] Time elapsed: 278 secs. Pages in use: 52
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 161/579 53/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 12531861 m, 65857 m/sec, 118805275 t fired, .
[lola][.]
[lola][.] Time elapsed: 283 secs. Pages in use: 53
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 166/579 55/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 12955112 m, 84650 m/sec, 122140789 t fired, .
[lola][.]
[lola][.] Time elapsed: 288 secs. Pages in use: 55
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 171/579 56/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 13360761 m, 81129 m/sec, 125504429 t fired, .
[lola][.]
[lola][.] Time elapsed: 293 secs. Pages in use: 56
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 176/579 58/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 13721852 m, 72218 m/sec, 128607618 t fired, .
[lola][.]
[lola][.] Time elapsed: 298 secs. Pages in use: 58
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 181/579 59/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 14038013 m, 63232 m/sec, 131472915 t fired, .
[lola][.]
[lola][.] Time elapsed: 303 secs. Pages in use: 59
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 186/579 60/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 14317650 m, 55927 m/sec, 134418866 t fired, .
[lola][.]
[lola][.] Time elapsed: 308 secs. Pages in use: 60
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 191/579 61/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 14643566 m, 65183 m/sec, 137344119 t fired, .
[lola][.]
[lola][.] Time elapsed: 313 secs. Pages in use: 61
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 196/579 62/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 14968679 m, 65022 m/sec, 140089481 t fired, .
[lola][.]
[lola][.] Time elapsed: 318 secs. Pages in use: 62
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 201/579 64/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 15301634 m, 66591 m/sec, 143059045 t fired, .
[lola][.]
[lola][.] Time elapsed: 323 secs. Pages in use: 64
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 206/579 65/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 15603116 m, 60296 m/sec, 146089853 t fired, .
[lola][.]
[lola][.] Time elapsed: 328 secs. Pages in use: 65
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 211/579 66/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 15892444 m, 57865 m/sec, 148879741 t fired, .
[lola][.]
[lola][.] Time elapsed: 333 secs. Pages in use: 66
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 216/579 67/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 16202949 m, 62101 m/sec, 151634200 t fired, .
[lola][.]
[lola][.] Time elapsed: 338 secs. Pages in use: 67
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 221/579 68/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 16502938 m, 59997 m/sec, 154654628 t fired, .
[lola][.]
[lola][.] Time elapsed: 343 secs. Pages in use: 68
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 226/579 70/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 16810881 m, 61588 m/sec, 157585101 t fired, .
[lola][.]
[lola][.] Time elapsed: 348 secs. Pages in use: 70
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 231/579 71/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 17110569 m, 59937 m/sec, 160532922 t fired, .
[lola][.]
[lola][.] Time elapsed: 353 secs. Pages in use: 71
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 236/579 72/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 17425994 m, 63085 m/sec, 163764392 t fired, .
[lola][.]
[lola][.] Time elapsed: 358 secs. Pages in use: 72
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 241/579 73/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 17729191 m, 60639 m/sec, 166823532 t fired, .
[lola][.]
[lola][.] Time elapsed: 363 secs. Pages in use: 73
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 246/579 74/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 18031791 m, 60520 m/sec, 170070971 t fired, .
[lola][.]
[lola][.] Time elapsed: 368 secs. Pages in use: 74
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 251/579 75/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 18303021 m, 54246 m/sec, 173288261 t fired, .
[lola][.]
[lola][.] Time elapsed: 373 secs. Pages in use: 75
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 256/579 76/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 18566515 m, 52698 m/sec, 176363407 t fired, .
[lola][.]
[lola][.] Time elapsed: 378 secs. Pages in use: 76
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 261/579 77/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 18840899 m, 54876 m/sec, 179708492 t fired, .
[lola][.]
[lola][.] Time elapsed: 383 secs. Pages in use: 77
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 266/579 79/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 19183950 m, 68610 m/sec, 183092638 t fired, .
[lola][.]
[lola][.] Time elapsed: 388 secs. Pages in use: 79
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 271/579 80/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 19566504 m, 76510 m/sec, 186368466 t fired, .
[lola][.]
[lola][.] Time elapsed: 393 secs. Pages in use: 80
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 276/579 82/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 19908929 m, 68485 m/sec, 189605577 t fired, .
[lola][.]
[lola][.] Time elapsed: 398 secs. Pages in use: 82
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 281/579 83/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 20250659 m, 68346 m/sec, 192881864 t fired, .
[lola][.]
[lola][.] Time elapsed: 403 secs. Pages in use: 83
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 286/579 84/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 20607071 m, 71282 m/sec, 196127861 t fired, .
[lola][.]
[lola][.] Time elapsed: 408 secs. Pages in use: 84
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 291/579 85/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 20935729 m, 65731 m/sec, 199330056 t fired, .
[lola][.]
[lola][.] Time elapsed: 413 secs. Pages in use: 85
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 296/579 87/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 21262185 m, 65291 m/sec, 202617730 t fired, .
[lola][.]
[lola][.] Time elapsed: 418 secs. Pages in use: 87
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 301/579 88/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 21580752 m, 63713 m/sec, 205813405 t fired, .
[lola][.]
[lola][.] Time elapsed: 423 secs. Pages in use: 88
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 306/579 89/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 21894594 m, 62768 m/sec, 209096666 t fired, .
[lola][.]
[lola][.] Time elapsed: 428 secs. Pages in use: 89
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 311/579 90/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 22174546 m, 55990 m/sec, 212450553 t fired, .
[lola][.]
[lola][.] Time elapsed: 433 secs. Pages in use: 90
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 316/579 91/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 22440941 m, 53279 m/sec, 215840847 t fired, .
[lola][.]
[lola][.] Time elapsed: 438 secs. Pages in use: 91
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 321/579 93/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 22805100 m, 72831 m/sec, 219228627 t fired, .
[lola][.]
[lola][.] Time elapsed: 443 secs. Pages in use: 93
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 326/579 94/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 23146040 m, 68188 m/sec, 222508747 t fired, .
[lola][.]
[lola][.] Time elapsed: 448 secs. Pages in use: 94
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 331/579 95/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 23465801 m, 63952 m/sec, 225907705 t fired, .
[lola][.]
[lola][.] Time elapsed: 453 secs. Pages in use: 95
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 336/579 97/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 23816205 m, 70080 m/sec, 229367104 t fired, .
[lola][.]
[lola][.] Time elapsed: 458 secs. Pages in use: 97
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 341/579 98/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 24126266 m, 62012 m/sec, 232659713 t fired, .
[lola][.]
[lola][.] Time elapsed: 463 secs. Pages in use: 98
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 346/579 99/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 24458953 m, 66537 m/sec, 235919614 t fired, .
[lola][.]
[lola][.] Time elapsed: 468 secs. Pages in use: 99
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 351/579 100/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 24783936 m, 64996 m/sec, 239231272 t fired, .
[lola][.]
[lola][.] Time elapsed: 473 secs. Pages in use: 100
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 356/579 102/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 25093128 m, 61838 m/sec, 242465667 t fired, .
[lola][.]
[lola][.] Time elapsed: 478 secs. Pages in use: 102
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 361/579 103/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 25360618 m, 53498 m/sec, 245814619 t fired, .
[lola][.]
[lola][.] Time elapsed: 483 secs. Pages in use: 103
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 366/579 104/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 25698399 m, 67556 m/sec, 249249830 t fired, .
[lola][.]
[lola][.] Time elapsed: 488 secs. Pages in use: 104
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 371/579 105/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 26019162 m, 64152 m/sec, 252761414 t fired, .
[lola][.]
[lola][.] Time elapsed: 493 secs. Pages in use: 105
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 376/579 106/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 26313645 m, 58896 m/sec, 256254357 t fired, .
[lola][.]
[lola][.] Time elapsed: 498 secs. Pages in use: 106
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 381/579 108/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 26641182 m, 65507 m/sec, 259784843 t fired, .
[lola][.]
[lola][.] Time elapsed: 503 secs. Pages in use: 108
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 386/579 109/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 26954599 m, 62683 m/sec, 263402478 t fired, .
[lola][.]
[lola][.] Time elapsed: 508 secs. Pages in use: 109
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 391/579 110/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 27287105 m, 66501 m/sec, 267128714 t fired, .
[lola][.]
[lola][.] Time elapsed: 513 secs. Pages in use: 110
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-03: DISJ true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-04: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-05: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-07: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-08: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-09: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-11: CTL false CTL model checker
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-14: INITIAL true preprocessing
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-15: CTL false CTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-01: AGEF 0 1 0 0 3 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-02: CONJ 0 0 1 0 5 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] DNAwalker-PT-08ringLL-CTLCardinality-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 9 CTL EXCL 396/579 112/2000 DNAwalker-PT-08ringLL-CTLCardinality-2024-02 27632296 m, 69038 m/sec, 271004569 t fired, .
[lola][.]
[lola][.] Time elapsed: 518 secs. Pages in use: 112
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] FINISHED task # 9 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-02
[lola][I] result : true
[lola][I] markings : 27950677
[lola][I] fired transitions : 274608073
[lola][I] time used : 400
[lola][I] memory pages used : 113
[lola][I] LAUNCH task # 1 (type EXCL) for 0 DNAwalker-PT-08ringLL-CTLCardinality-2024-00
[lola][I] time limit : 615 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 1 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-00
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 64 (type EXCL) for 3 DNAwalker-PT-08ringLL-CTLCardinality-2024-01
[lola][I] time limit : 769 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 64 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-01
[lola][I] result : false
[lola][I] markings : 9
[lola][I] fired transitions : 8
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 53 (type EXCL) for 52 DNAwalker-PT-08ringLL-CTLCardinality-2023-12
[lola][I] time limit : 1026 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 53 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2023-12
[lola][I] result : true
[lola][I] markings : 22649
[lola][I] fired transitions : 151490
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 56 (type EXCL) for 55 DNAwalker-PT-08ringLL-CTLCardinality-2023-13
[lola][I] time limit : 1539 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 56 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2023-13
[lola][I] result : true
[lola][I] markings : 15
[lola][I] fired transitions : 45
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 35 (type EXCL) for 34 DNAwalker-PT-08ringLL-CTLCardinality-2024-06
[lola][I] time limit : 3078 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 35 (type EXCL) for DNAwalker-PT-08ringLL-CTLCardinality-2024-06
[lola][I] result : false
[lola][I] markings : 23
[lola][I] fired transitions : 52
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] Portfolio finished: no open formulas

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="DNAwalker-PT-08ringLL"
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 DNAwalker-PT-08ringLL, 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 r115-smll-171624277000425"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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