fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r247-tall-171654353500513
Last Updated
July 7, 2024

About the Execution of LoLA for NeoElection-PT-4

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16207.655 683312.00 658231.00 2196.80 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r247-tall-171654353500513.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 NeoElection-PT-4, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-171654353500513
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.2M
-rw-r--r-- 1 mcc users 256K Apr 11 18:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 819K Apr 11 18:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Apr 11 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 484K Apr 11 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 162K Apr 23 07:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 392K Apr 23 07:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Apr 23 07:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 95K Apr 23 07:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 426K Apr 11 18:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 18:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 427K Apr 11 18:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.5M Apr 11 18:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 22K Apr 23 07:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 43K Apr 23 07:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 2 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 2.1M May 18 16:43 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 NeoElection-PT-4-CTLCardinality-2024-00
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-01
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-02
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-03
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-04
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-05
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-06
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-07
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-08
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-09
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-10
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-11
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-12
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-13
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-14
FORMULA_NAME NeoElection-PT-4-CTLCardinality-2024-15

=== Now, execution of the tool begins

BK_START 1717076825901


BK_STOP 1717077509213

--------------------
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: 2213 transitions removed,1687 places removed
[lola][I] LAUNCH task # 25 (type CNST) for 24 NeoElection-PT-4-CTLCardinality-2024-08
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 40 (type EXCL) for 39 NeoElection-PT-4-CTLCardinality-2024-13
[lola][I] time limit : 132 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 43 (type CNST) for 42 NeoElection-PT-4-CTLCardinality-2024-14
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 46 (type CNST) for 45 NeoElection-PT-4-CTLCardinality-2024-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 19 (type CNST) for 18 NeoElection-PT-4-CTLCardinality-2024-06
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 43 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-14
[lola][I] result : true
[lola][I] LAUNCH task # 37 (type CNST) for 36 NeoElection-PT-4-CTLCardinality-2024-12
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 25 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-08
[lola][I] result : true
[lola][I] FINISHED task # 40 (type EXCL) for NeoElection-PT-4-CTLCardinality-2024-13
[lola][I] result : false
[lola][I] markings : 169
[lola][I] fired transitions : 219
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] FINISHED task # 46 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-15
[lola][I] result : false
[lola][I] LAUNCH task # 22 (type CNST) for 21 NeoElection-PT-4-CTLCardinality-2024-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 34 (type CNST) for 33 NeoElection-PT-4-CTLCardinality-2024-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 13 (type CNST) for 12 NeoElection-PT-4-CTLCardinality-2024-04
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 4 (type CNST) for 3 NeoElection-PT-4-CTLCardinality-2024-01
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 1 (type CNST) for 0 NeoElection-PT-4-CTLCardinality-2024-00
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 22 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-07
[lola][I] result : false
[lola][I] LAUNCH task # 16 (type CNST) for 15 NeoElection-PT-4-CTLCardinality-2024-05
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 37 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-12
[lola][I] result : false
[lola][I] FINISHED task # 4 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-01
[lola][I] result : true
[lola][I] FINISHED task # 1 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-00
[lola][I] result : true
[lola][I] FINISHED task # 34 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-11
[lola][I] result : false
[lola][I] LAUNCH task # 31 (type EXCL) for 30 NeoElection-PT-4-CTLCardinality-2024-10
[lola][I] time limit : 448 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 13 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-04
[lola][I] result : false
[lola][I] FINISHED task # 31 (type EXCL) for NeoElection-PT-4-CTLCardinality-2024-10
[lola][I] result : true
[lola][I] markings : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 28 (type EXCL) for 27 NeoElection-PT-4-CTLCardinality-2024-09
[lola][I] time limit : 598 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 19 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-06
[lola][I] result : true
[lola][I] FINISHED task # 16 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-05
[lola][I] result : false
[lola][I] FINISHED task # 28 (type EXCL) for NeoElection-PT-4-CTLCardinality-2024-09
[lola][I] result : true
[lola][I] markings : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 7 (type EXCL) for 6 NeoElection-PT-4-CTLCardinality-2024-02
[lola][I] time limit : 1196 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 10 (type CNST) for 9 NeoElection-PT-4-CTLCardinality-2024-03
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 10 (type CNST) for NeoElection-PT-4-CTLCardinality-2024-03
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 5/3589 6/2000 NeoElection-PT-4-CTLCardinality-2024-02 1412428 m, 282485 m/sec, 6060843 t fired, .
[lola][.]
[lola][.] Time elapsed: 16 secs. Pages in use: 6
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 10/3589 13/2000 NeoElection-PT-4-CTLCardinality-2024-02 2855481 m, 288610 m/sec, 12348608 t fired, .
[lola][.]
[lola][.] Time elapsed: 21 secs. Pages in use: 13
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 15/3589 18/2000 NeoElection-PT-4-CTLCardinality-2024-02 4184554 m, 265814 m/sec, 18429888 t fired, .
[lola][.]
[lola][.] Time elapsed: 26 secs. Pages in use: 18
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 20/3589 23/2000 NeoElection-PT-4-CTLCardinality-2024-02 5413978 m, 245884 m/sec, 24471577 t fired, .
[lola][.]
[lola][.] Time elapsed: 31 secs. Pages in use: 23
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 25/3589 28/2000 NeoElection-PT-4-CTLCardinality-2024-02 6646935 m, 246591 m/sec, 30361918 t fired, .
[lola][.]
[lola][.] Time elapsed: 36 secs. Pages in use: 28
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 30/3589 34/2000 NeoElection-PT-4-CTLCardinality-2024-02 7885811 m, 247775 m/sec, 36204487 t fired, .
[lola][.]
[lola][.] Time elapsed: 41 secs. Pages in use: 34
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 35/3589 39/2000 NeoElection-PT-4-CTLCardinality-2024-02 9153669 m, 253571 m/sec, 42139397 t fired, .
[lola][.]
[lola][.] Time elapsed: 46 secs. Pages in use: 39
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 40/3589 44/2000 NeoElection-PT-4-CTLCardinality-2024-02 10440116 m, 257289 m/sec, 47789809 t fired, .
[lola][.]
[lola][.] Time elapsed: 51 secs. Pages in use: 44
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 45/3589 49/2000 NeoElection-PT-4-CTLCardinality-2024-02 11601760 m, 232328 m/sec, 53404354 t fired, .
[lola][.]
[lola][.] Time elapsed: 56 secs. Pages in use: 49
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 50/3589 54/2000 NeoElection-PT-4-CTLCardinality-2024-02 12680786 m, 215805 m/sec, 58862065 t fired, .
[lola][.]
[lola][.] Time elapsed: 61 secs. Pages in use: 54
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 55/3589 59/2000 NeoElection-PT-4-CTLCardinality-2024-02 13871029 m, 238048 m/sec, 64461942 t fired, .
[lola][.]
[lola][.] Time elapsed: 66 secs. Pages in use: 59
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 60/3589 64/2000 NeoElection-PT-4-CTLCardinality-2024-02 15008407 m, 227475 m/sec, 69951385 t fired, .
[lola][.]
[lola][.] Time elapsed: 71 secs. Pages in use: 64
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 65/3589 68/2000 NeoElection-PT-4-CTLCardinality-2024-02 16187894 m, 235897 m/sec, 75981482 t fired, .
[lola][.]
[lola][.] Time elapsed: 76 secs. Pages in use: 68
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 70/3589 73/2000 NeoElection-PT-4-CTLCardinality-2024-02 17360951 m, 234611 m/sec, 81765390 t fired, .
[lola][.]
[lola][.] Time elapsed: 81 secs. Pages in use: 73
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 75/3589 78/2000 NeoElection-PT-4-CTLCardinality-2024-02 18532614 m, 234332 m/sec, 87534693 t fired, .
[lola][.]
[lola][.] Time elapsed: 86 secs. Pages in use: 78
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 80/3589 84/2000 NeoElection-PT-4-CTLCardinality-2024-02 19796758 m, 252828 m/sec, 93659499 t fired, .
[lola][.]
[lola][.] Time elapsed: 91 secs. Pages in use: 84
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 85/3589 89/2000 NeoElection-PT-4-CTLCardinality-2024-02 20993660 m, 239380 m/sec, 99574724 t fired, .
[lola][.]
[lola][.] Time elapsed: 96 secs. Pages in use: 89
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 90/3589 93/2000 NeoElection-PT-4-CTLCardinality-2024-02 22113233 m, 223914 m/sec, 105135290 t fired, .
[lola][.]
[lola][.] Time elapsed: 101 secs. Pages in use: 93
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 95/3589 98/2000 NeoElection-PT-4-CTLCardinality-2024-02 23222702 m, 221893 m/sec, 110735424 t fired, .
[lola][.]
[lola][.] Time elapsed: 106 secs. Pages in use: 98
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 100/3589 103/2000 NeoElection-PT-4-CTLCardinality-2024-02 24364005 m, 228260 m/sec, 116642091 t fired, .
[lola][.]
[lola][.] Time elapsed: 111 secs. Pages in use: 103
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 105/3589 107/2000 NeoElection-PT-4-CTLCardinality-2024-02 25389381 m, 205075 m/sec, 122672858 t fired, .
[lola][.]
[lola][.] Time elapsed: 116 secs. Pages in use: 107
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 110/3589 111/2000 NeoElection-PT-4-CTLCardinality-2024-02 26366815 m, 195486 m/sec, 128613594 t fired, .
[lola][.]
[lola][.] Time elapsed: 121 secs. Pages in use: 111
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 115/3589 115/2000 NeoElection-PT-4-CTLCardinality-2024-02 27310832 m, 188803 m/sec, 134398605 t fired, .
[lola][.]
[lola][.] Time elapsed: 126 secs. Pages in use: 115
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 120/3589 120/2000 NeoElection-PT-4-CTLCardinality-2024-02 28363977 m, 210629 m/sec, 140144806 t fired, .
[lola][.]
[lola][.] Time elapsed: 131 secs. Pages in use: 120
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 125/3589 124/2000 NeoElection-PT-4-CTLCardinality-2024-02 29367035 m, 200611 m/sec, 145784970 t fired, .
[lola][.]
[lola][.] Time elapsed: 136 secs. Pages in use: 124
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 130/3589 128/2000 NeoElection-PT-4-CTLCardinality-2024-02 30384822 m, 203557 m/sec, 151442900 t fired, .
[lola][.]
[lola][.] Time elapsed: 141 secs. Pages in use: 128
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 135/3589 133/2000 NeoElection-PT-4-CTLCardinality-2024-02 31583237 m, 239683 m/sec, 157400094 t fired, .
[lola][.]
[lola][.] Time elapsed: 146 secs. Pages in use: 133
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 140/3589 139/2000 NeoElection-PT-4-CTLCardinality-2024-02 32882169 m, 259786 m/sec, 163556063 t fired, .
[lola][.]
[lola][.] Time elapsed: 151 secs. Pages in use: 139
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 145/3589 144/2000 NeoElection-PT-4-CTLCardinality-2024-02 34117227 m, 247011 m/sec, 169357053 t fired, .
[lola][.]
[lola][.] Time elapsed: 156 secs. Pages in use: 144
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 150/3589 149/2000 NeoElection-PT-4-CTLCardinality-2024-02 35267676 m, 230089 m/sec, 174902043 t fired, .
[lola][.]
[lola][.] Time elapsed: 161 secs. Pages in use: 149
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 155/3589 154/2000 NeoElection-PT-4-CTLCardinality-2024-02 36507282 m, 247921 m/sec, 180861480 t fired, .
[lola][.]
[lola][.] Time elapsed: 166 secs. Pages in use: 154
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 160/3589 159/2000 NeoElection-PT-4-CTLCardinality-2024-02 37641378 m, 226819 m/sec, 186771123 t fired, .
[lola][.]
[lola][.] Time elapsed: 171 secs. Pages in use: 159
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 165/3589 163/2000 NeoElection-PT-4-CTLCardinality-2024-02 38706245 m, 212973 m/sec, 192697213 t fired, .
[lola][.]
[lola][.] Time elapsed: 176 secs. Pages in use: 163
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 170/3589 167/2000 NeoElection-PT-4-CTLCardinality-2024-02 39715254 m, 201801 m/sec, 198384823 t fired, .
[lola][.]
[lola][.] Time elapsed: 181 secs. Pages in use: 167
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 175/3589 172/2000 NeoElection-PT-4-CTLCardinality-2024-02 40868240 m, 230597 m/sec, 204173914 t fired, .
[lola][.]
[lola][.] Time elapsed: 186 secs. Pages in use: 172
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 180/3589 177/2000 NeoElection-PT-4-CTLCardinality-2024-02 41979908 m, 222333 m/sec, 209862650 t fired, .
[lola][.]
[lola][.] Time elapsed: 191 secs. Pages in use: 177
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 185/3589 182/2000 NeoElection-PT-4-CTLCardinality-2024-02 43205286 m, 245075 m/sec, 215705769 t fired, .
[lola][.]
[lola][.] Time elapsed: 196 secs. Pages in use: 182
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 190/3589 187/2000 NeoElection-PT-4-CTLCardinality-2024-02 44477120 m, 254366 m/sec, 221689424 t fired, .
[lola][.]
[lola][.] Time elapsed: 201 secs. Pages in use: 187
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 195/3589 192/2000 NeoElection-PT-4-CTLCardinality-2024-02 45697116 m, 243999 m/sec, 227387663 t fired, .
[lola][.]
[lola][.] Time elapsed: 206 secs. Pages in use: 192
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 200/3589 197/2000 NeoElection-PT-4-CTLCardinality-2024-02 46832987 m, 227174 m/sec, 232825449 t fired, .
[lola][.]
[lola][.] Time elapsed: 211 secs. Pages in use: 197
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 205/3589 202/2000 NeoElection-PT-4-CTLCardinality-2024-02 48055886 m, 244579 m/sec, 238677170 t fired, .
[lola][.]
[lola][.] Time elapsed: 216 secs. Pages in use: 202
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 210/3589 207/2000 NeoElection-PT-4-CTLCardinality-2024-02 49173137 m, 223450 m/sec, 244476925 t fired, .
[lola][.]
[lola][.] Time elapsed: 221 secs. Pages in use: 207
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 215/3589 212/2000 NeoElection-PT-4-CTLCardinality-2024-02 50230215 m, 211415 m/sec, 250327532 t fired, .
[lola][.]
[lola][.] Time elapsed: 226 secs. Pages in use: 212
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 220/3589 216/2000 NeoElection-PT-4-CTLCardinality-2024-02 51239045 m, 201766 m/sec, 255984650 t fired, .
[lola][.]
[lola][.] Time elapsed: 231 secs. Pages in use: 216
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 225/3589 221/2000 NeoElection-PT-4-CTLCardinality-2024-02 52433030 m, 238797 m/sec, 261941080 t fired, .
[lola][.]
[lola][.] Time elapsed: 236 secs. Pages in use: 221
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 230/3589 226/2000 NeoElection-PT-4-CTLCardinality-2024-02 53578318 m, 229057 m/sec, 267778594 t fired, .
[lola][.]
[lola][.] Time elapsed: 241 secs. Pages in use: 226
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 235/3589 231/2000 NeoElection-PT-4-CTLCardinality-2024-02 54857196 m, 255775 m/sec, 273810396 t fired, .
[lola][.]
[lola][.] Time elapsed: 246 secs. Pages in use: 231
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 240/3589 236/2000 NeoElection-PT-4-CTLCardinality-2024-02 56151310 m, 258822 m/sec, 279931149 t fired, .
[lola][.]
[lola][.] Time elapsed: 251 secs. Pages in use: 236
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 245/3589 242/2000 NeoElection-PT-4-CTLCardinality-2024-02 57363367 m, 242411 m/sec, 285592625 t fired, .
[lola][.]
[lola][.] Time elapsed: 256 secs. Pages in use: 242
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 250/3589 246/2000 NeoElection-PT-4-CTLCardinality-2024-02 58538472 m, 235021 m/sec, 291201976 t fired, .
[lola][.]
[lola][.] Time elapsed: 261 secs. Pages in use: 246
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 255/3589 252/2000 NeoElection-PT-4-CTLCardinality-2024-02 59761926 m, 244690 m/sec, 297083028 t fired, .
[lola][.]
[lola][.] Time elapsed: 266 secs. Pages in use: 252
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 260/3589 256/2000 NeoElection-PT-4-CTLCardinality-2024-02 60874747 m, 222564 m/sec, 302986637 t fired, .
[lola][.]
[lola][.] Time elapsed: 271 secs. Pages in use: 256
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 265/3589 261/2000 NeoElection-PT-4-CTLCardinality-2024-02 61919684 m, 208987 m/sec, 308789506 t fired, .
[lola][.]
[lola][.] Time elapsed: 276 secs. Pages in use: 261
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 270/3589 265/2000 NeoElection-PT-4-CTLCardinality-2024-02 62982625 m, 212588 m/sec, 314637702 t fired, .
[lola][.]
[lola][.] Time elapsed: 281 secs. Pages in use: 265
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 275/3589 270/2000 NeoElection-PT-4-CTLCardinality-2024-02 64132225 m, 229920 m/sec, 320363055 t fired, .
[lola][.]
[lola][.] Time elapsed: 286 secs. Pages in use: 270
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 280/3589 275/2000 NeoElection-PT-4-CTLCardinality-2024-02 65236810 m, 220917 m/sec, 325991506 t fired, .
[lola][.]
[lola][.] Time elapsed: 291 secs. Pages in use: 275
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 285/3589 280/2000 NeoElection-PT-4-CTLCardinality-2024-02 66429916 m, 238621 m/sec, 331888992 t fired, .
[lola][.]
[lola][.] Time elapsed: 296 secs. Pages in use: 280
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 290/3589 284/2000 NeoElection-PT-4-CTLCardinality-2024-02 67572639 m, 228544 m/sec, 337660020 t fired, .
[lola][.]
[lola][.] Time elapsed: 301 secs. Pages in use: 284
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 295/3589 290/2000 NeoElection-PT-4-CTLCardinality-2024-02 68789766 m, 243425 m/sec, 343618286 t fired, .
[lola][.]
[lola][.] Time elapsed: 306 secs. Pages in use: 290
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 300/3589 294/2000 NeoElection-PT-4-CTLCardinality-2024-02 69964320 m, 234910 m/sec, 349423591 t fired, .
[lola][.]
[lola][.] Time elapsed: 311 secs. Pages in use: 294
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 305/3589 300/2000 NeoElection-PT-4-CTLCardinality-2024-02 71174230 m, 241982 m/sec, 355258982 t fired, .
[lola][.]
[lola][.] Time elapsed: 316 secs. Pages in use: 300
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 310/3589 305/2000 NeoElection-PT-4-CTLCardinality-2024-02 72421774 m, 249508 m/sec, 361170465 t fired, .
[lola][.]
[lola][.] Time elapsed: 321 secs. Pages in use: 305
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 315/3589 310/2000 NeoElection-PT-4-CTLCardinality-2024-02 73603309 m, 236307 m/sec, 366728123 t fired, .
[lola][.]
[lola][.] Time elapsed: 326 secs. Pages in use: 310
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 320/3589 314/2000 NeoElection-PT-4-CTLCardinality-2024-02 74718950 m, 223128 m/sec, 372071158 t fired, .
[lola][.]
[lola][.] Time elapsed: 331 secs. Pages in use: 314
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 325/3589 319/2000 NeoElection-PT-4-CTLCardinality-2024-02 75900207 m, 236251 m/sec, 377744563 t fired, .
[lola][.]
[lola][.] Time elapsed: 336 secs. Pages in use: 319
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 330/3589 324/2000 NeoElection-PT-4-CTLCardinality-2024-02 77020117 m, 223982 m/sec, 383445924 t fired, .
[lola][.]
[lola][.] Time elapsed: 341 secs. Pages in use: 324
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 335/3589 328/2000 NeoElection-PT-4-CTLCardinality-2024-02 78041817 m, 204340 m/sec, 389089765 t fired, .
[lola][.]
[lola][.] Time elapsed: 346 secs. Pages in use: 328
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 340/3589 333/2000 NeoElection-PT-4-CTLCardinality-2024-02 79035373 m, 198711 m/sec, 394673836 t fired, .
[lola][.]
[lola][.] Time elapsed: 351 secs. Pages in use: 333
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 345/3589 337/2000 NeoElection-PT-4-CTLCardinality-2024-02 80103993 m, 213724 m/sec, 400246674 t fired, .
[lola][.]
[lola][.] Time elapsed: 356 secs. Pages in use: 337
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 350/3589 342/2000 NeoElection-PT-4-CTLCardinality-2024-02 81211653 m, 221532 m/sec, 405867846 t fired, .
[lola][.]
[lola][.] Time elapsed: 361 secs. Pages in use: 342
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 355/3589 346/2000 NeoElection-PT-4-CTLCardinality-2024-02 82301662 m, 218001 m/sec, 411390018 t fired, .
[lola][.]
[lola][.] Time elapsed: 366 secs. Pages in use: 346
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 360/3589 351/2000 NeoElection-PT-4-CTLCardinality-2024-02 83437723 m, 227212 m/sec, 417059260 t fired, .
[lola][.]
[lola][.] Time elapsed: 371 secs. Pages in use: 351
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 365/3589 356/2000 NeoElection-PT-4-CTLCardinality-2024-02 84535103 m, 219476 m/sec, 422650780 t fired, .
[lola][.]
[lola][.] Time elapsed: 376 secs. Pages in use: 356
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 370/3589 360/2000 NeoElection-PT-4-CTLCardinality-2024-02 85636246 m, 220228 m/sec, 428108097 t fired, .
[lola][.]
[lola][.] Time elapsed: 381 secs. Pages in use: 360
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 375/3589 365/2000 NeoElection-PT-4-CTLCardinality-2024-02 86751942 m, 223139 m/sec, 433535014 t fired, .
[lola][.]
[lola][.] Time elapsed: 386 secs. Pages in use: 365
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 380/3589 370/2000 NeoElection-PT-4-CTLCardinality-2024-02 87846716 m, 218954 m/sec, 438966180 t fired, .
[lola][.]
[lola][.] Time elapsed: 391 secs. Pages in use: 370
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 385/3589 374/2000 NeoElection-PT-4-CTLCardinality-2024-02 88986168 m, 227890 m/sec, 444284720 t fired, .
[lola][.]
[lola][.] Time elapsed: 396 secs. Pages in use: 374
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 390/3589 379/2000 NeoElection-PT-4-CTLCardinality-2024-02 90073896 m, 217545 m/sec, 449458822 t fired, .
[lola][.]
[lola][.] Time elapsed: 401 secs. Pages in use: 379
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 395/3589 383/2000 NeoElection-PT-4-CTLCardinality-2024-02 91155899 m, 216400 m/sec, 454542850 t fired, .
[lola][.]
[lola][.] Time elapsed: 406 secs. Pages in use: 383
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 400/3589 388/2000 NeoElection-PT-4-CTLCardinality-2024-02 92184281 m, 205676 m/sec, 459473913 t fired, .
[lola][.]
[lola][.] Time elapsed: 411 secs. Pages in use: 388
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 405/3589 392/2000 NeoElection-PT-4-CTLCardinality-2024-02 93260095 m, 215162 m/sec, 464665042 t fired, .
[lola][.]
[lola][.] Time elapsed: 416 secs. Pages in use: 392
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 410/3589 396/2000 NeoElection-PT-4-CTLCardinality-2024-02 94257435 m, 199468 m/sec, 469816153 t fired, .
[lola][.]
[lola][.] Time elapsed: 421 secs. Pages in use: 396
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 415/3589 400/2000 NeoElection-PT-4-CTLCardinality-2024-02 95178424 m, 184197 m/sec, 474927430 t fired, .
[lola][.]
[lola][.] Time elapsed: 426 secs. Pages in use: 400
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 420/3589 404/2000 NeoElection-PT-4-CTLCardinality-2024-02 96079240 m, 180163 m/sec, 479977312 t fired, .
[lola][.]
[lola][.] Time elapsed: 431 secs. Pages in use: 404
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 425/3589 408/2000 NeoElection-PT-4-CTLCardinality-2024-02 97051797 m, 194511 m/sec, 485134977 t fired, .
[lola][.]
[lola][.] Time elapsed: 436 secs. Pages in use: 408
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 430/3589 413/2000 NeoElection-PT-4-CTLCardinality-2024-02 98100103 m, 209661 m/sec, 490430283 t fired, .
[lola][.]
[lola][.] Time elapsed: 441 secs. Pages in use: 413
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 435/3589 417/2000 NeoElection-PT-4-CTLCardinality-2024-02 99107749 m, 201529 m/sec, 495592507 t fired, .
[lola][.]
[lola][.] Time elapsed: 446 secs. Pages in use: 417
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 440/3589 421/2000 NeoElection-PT-4-CTLCardinality-2024-02 100168567 m, 212163 m/sec, 500839313 t fired, .
[lola][.]
[lola][.] Time elapsed: 451 secs. Pages in use: 421
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 445/3589 426/2000 NeoElection-PT-4-CTLCardinality-2024-02 101185555 m, 203397 m/sec, 506010024 t fired, .
[lola][.]
[lola][.] Time elapsed: 456 secs. Pages in use: 426
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 450/3589 430/2000 NeoElection-PT-4-CTLCardinality-2024-02 102236074 m, 210103 m/sec, 511305128 t fired, .
[lola][.]
[lola][.] Time elapsed: 461 secs. Pages in use: 430
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 455/3589 434/2000 NeoElection-PT-4-CTLCardinality-2024-02 103282564 m, 209298 m/sec, 516497425 t fired, .
[lola][.]
[lola][.] Time elapsed: 466 secs. Pages in use: 434
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 460/3589 439/2000 NeoElection-PT-4-CTLCardinality-2024-02 104284790 m, 200445 m/sec, 521628133 t fired, .
[lola][.]
[lola][.] Time elapsed: 471 secs. Pages in use: 439
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 465/3589 443/2000 NeoElection-PT-4-CTLCardinality-2024-02 105439878 m, 231017 m/sec, 527105895 t fired, .
[lola][.]
[lola][.] Time elapsed: 476 secs. Pages in use: 443
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 470/3589 449/2000 NeoElection-PT-4-CTLCardinality-2024-02 106846418 m, 281308 m/sec, 533299572 t fired, .
[lola][.]
[lola][.] Time elapsed: 481 secs. Pages in use: 449
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 475/3589 455/2000 NeoElection-PT-4-CTLCardinality-2024-02 108162138 m, 263144 m/sec, 539274455 t fired, .
[lola][.]
[lola][.] Time elapsed: 486 secs. Pages in use: 455
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 480/3589 460/2000 NeoElection-PT-4-CTLCardinality-2024-02 109358494 m, 239271 m/sec, 545196459 t fired, .
[lola][.]
[lola][.] Time elapsed: 491 secs. Pages in use: 460
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 485/3589 465/2000 NeoElection-PT-4-CTLCardinality-2024-02 110537446 m, 235790 m/sec, 550921512 t fired, .
[lola][.]
[lola][.] Time elapsed: 496 secs. Pages in use: 465
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 490/3589 470/2000 NeoElection-PT-4-CTLCardinality-2024-02 111739960 m, 240502 m/sec, 556626940 t fired, .
[lola][.]
[lola][.] Time elapsed: 501 secs. Pages in use: 470
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 495/3589 475/2000 NeoElection-PT-4-CTLCardinality-2024-02 112970501 m, 246108 m/sec, 562279547 t fired, .
[lola][.]
[lola][.] Time elapsed: 506 secs. Pages in use: 475
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 500/3589 480/2000 NeoElection-PT-4-CTLCardinality-2024-02 114107416 m, 227383 m/sec, 567692353 t fired, .
[lola][.]
[lola][.] Time elapsed: 511 secs. Pages in use: 480
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 505/3589 484/2000 NeoElection-PT-4-CTLCardinality-2024-02 115172682 m, 213053 m/sec, 573080767 t fired, .
[lola][.]
[lola][.] Time elapsed: 516 secs. Pages in use: 484
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 510/3589 489/2000 NeoElection-PT-4-CTLCardinality-2024-02 116294993 m, 224462 m/sec, 578479550 t fired, .
[lola][.]
[lola][.] Time elapsed: 521 secs. Pages in use: 489
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 515/3589 494/2000 NeoElection-PT-4-CTLCardinality-2024-02 117401500 m, 221301 m/sec, 583991045 t fired, .
[lola][.]
[lola][.] Time elapsed: 526 secs. Pages in use: 494
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 520/3589 498/2000 NeoElection-PT-4-CTLCardinality-2024-02 118505764 m, 220852 m/sec, 589687395 t fired, .
[lola][.]
[lola][.] Time elapsed: 531 secs. Pages in use: 498
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 525/3589 503/2000 NeoElection-PT-4-CTLCardinality-2024-02 119627442 m, 224335 m/sec, 595211155 t fired, .
[lola][.]
[lola][.] Time elapsed: 536 secs. Pages in use: 503
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 530/3589 508/2000 NeoElection-PT-4-CTLCardinality-2024-02 120809659 m, 236443 m/sec, 601073597 t fired, .
[lola][.]
[lola][.] Time elapsed: 541 secs. Pages in use: 508
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 535/3589 513/2000 NeoElection-PT-4-CTLCardinality-2024-02 121935412 m, 225150 m/sec, 606692449 t fired, .
[lola][.]
[lola][.] Time elapsed: 546 secs. Pages in use: 513
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 540/3589 517/2000 NeoElection-PT-4-CTLCardinality-2024-02 123005395 m, 213996 m/sec, 612090478 t fired, .
[lola][.]
[lola][.] Time elapsed: 551 secs. Pages in use: 517
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 545/3589 522/2000 NeoElection-PT-4-CTLCardinality-2024-02 124095215 m, 217964 m/sec, 617731474 t fired, .
[lola][.]
[lola][.] Time elapsed: 556 secs. Pages in use: 522
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 550/3589 526/2000 NeoElection-PT-4-CTLCardinality-2024-02 125108261 m, 202609 m/sec, 623492226 t fired, .
[lola][.]
[lola][.] Time elapsed: 561 secs. Pages in use: 526
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 555/3589 530/2000 NeoElection-PT-4-CTLCardinality-2024-02 126064659 m, 191279 m/sec, 629344474 t fired, .
[lola][.]
[lola][.] Time elapsed: 566 secs. Pages in use: 530
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 560/3589 534/2000 NeoElection-PT-4-CTLCardinality-2024-02 127000867 m, 187241 m/sec, 635005528 t fired, .
[lola][.]
[lola][.] Time elapsed: 571 secs. Pages in use: 534
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 565/3589 538/2000 NeoElection-PT-4-CTLCardinality-2024-02 127987725 m, 197371 m/sec, 640560619 t fired, .
[lola][.]
[lola][.] Time elapsed: 576 secs. Pages in use: 538
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 570/3589 542/2000 NeoElection-PT-4-CTLCardinality-2024-02 128968335 m, 196122 m/sec, 646056403 t fired, .
[lola][.]
[lola][.] Time elapsed: 581 secs. Pages in use: 542
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 575/3589 547/2000 NeoElection-PT-4-CTLCardinality-2024-02 130034932 m, 213319 m/sec, 651752844 t fired, .
[lola][.]
[lola][.] Time elapsed: 586 secs. Pages in use: 547
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 580/3589 552/2000 NeoElection-PT-4-CTLCardinality-2024-02 131303800 m, 253773 m/sec, 657792601 t fired, .
[lola][.]
[lola][.] Time elapsed: 591 secs. Pages in use: 552
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 585/3589 557/2000 NeoElection-PT-4-CTLCardinality-2024-02 132471067 m, 233453 m/sec, 663396567 t fired, .
[lola][.]
[lola][.] Time elapsed: 596 secs. Pages in use: 557
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 590/3589 562/2000 NeoElection-PT-4-CTLCardinality-2024-02 133608512 m, 227489 m/sec, 668920888 t fired, .
[lola][.]
[lola][.] Time elapsed: 601 secs. Pages in use: 562
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 595/3589 567/2000 NeoElection-PT-4-CTLCardinality-2024-02 134770667 m, 232431 m/sec, 674743650 t fired, .
[lola][.]
[lola][.] Time elapsed: 606 secs. Pages in use: 567
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 600/3589 571/2000 NeoElection-PT-4-CTLCardinality-2024-02 135803767 m, 206620 m/sec, 680548617 t fired, .
[lola][.]
[lola][.] Time elapsed: 611 secs. Pages in use: 571
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 605/3589 575/2000 NeoElection-PT-4-CTLCardinality-2024-02 136805042 m, 200255 m/sec, 686204405 t fired, .
[lola][.]
[lola][.] Time elapsed: 616 secs. Pages in use: 575
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 610/3589 580/2000 NeoElection-PT-4-CTLCardinality-2024-02 137906184 m, 220228 m/sec, 691874767 t fired, .
[lola][.]
[lola][.] Time elapsed: 621 secs. Pages in use: 580
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 615/3589 584/2000 NeoElection-PT-4-CTLCardinality-2024-02 139007037 m, 220170 m/sec, 697475329 t fired, .
[lola][.]
[lola][.] Time elapsed: 626 secs. Pages in use: 584
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 620/3589 590/2000 NeoElection-PT-4-CTLCardinality-2024-02 140260411 m, 250674 m/sec, 703411447 t fired, .
[lola][.]
[lola][.] Time elapsed: 631 secs. Pages in use: 590
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 625/3589 595/2000 NeoElection-PT-4-CTLCardinality-2024-02 141442619 m, 236441 m/sec, 709039172 t fired, .
[lola][.]
[lola][.] Time elapsed: 636 secs. Pages in use: 595
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 630/3589 599/2000 NeoElection-PT-4-CTLCardinality-2024-02 142556877 m, 222851 m/sec, 714390481 t fired, .
[lola][.]
[lola][.] Time elapsed: 641 secs. Pages in use: 599
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 639/3589 602/2000 NeoElection-PT-4-CTLCardinality-2024-02 143281033 m, 144831 m/sec, 717908460 t fired, .
[lola][.]
[lola][.] Time elapsed: 651 secs. Pages in use: 602
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] NeoElection-PT-4-CTLCardinality-2024-00: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-01: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-03: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-04: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-05: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-06: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-07: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-08: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-09: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-10: CTL true CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-11: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-12: INITIAL false preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-13: CTL false CTL model checker
[lola][.] NeoElection-PT-4-CTLCardinality-2024-14: INITIAL true preprocessing
[lola][.] NeoElection-PT-4-CTLCardinality-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NeoElection-PT-4-CTLCardinality-2024-02: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 7 CTL EXCL 663/3589 602/2000 NeoElection-PT-4-CTLCardinality-2024-02 143282680 m, 329 m/sec, 717917258 t fired, .
[lola][.]
[lola][.] Time elapsed: 677 secs. Pages in use: 602
[lola][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 407 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-PT-4"
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 NeoElection-PT-4, 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 r247-tall-171654353500513"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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