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

About the Execution of LoLA for NoC3x3-PT-4A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16201.439 475304.00 472329.00 1509.70 [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-171654353700602.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 NoC3x3-PT-4A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-171654353700602
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 640K
-rw-r--r-- 1 mcc users 7.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 23 07:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 23 07:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 23 07:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 23 07:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 12 07:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Apr 12 07:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Apr 12 07:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Apr 12 07:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 23 07:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 23 07:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 144K 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 NoC3x3-PT-4A-CTLFireability-2024-00
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-01
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-02
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-03
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-04
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-05
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-06
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-07
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-08
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-09
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-10
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2024-11
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2023-12
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2023-13
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2023-14
FORMULA_NAME NoC3x3-PT-4A-CTLFireability-2023-15

=== Now, execution of the tool begins

BK_START 1717088266809


BK_STOP 1717088742113

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from CTLFireability.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 61 (type EXCL) for 3 NoC3x3-PT-4A-CTLFireability-2024-01
[lola][I] time limit : 143 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 64 (type EQUN) for 3 NoC3x3-PT-4A-CTLFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 61 (type EXCL) for NoC3x3-PT-4A-CTLFireability-2024-01
[lola][I] result : false
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 64 (type EQUN) for NoC3x3-PT-4A-CTLFireability-2024-01 (obsolete)
[lola][I] LAUNCH task # 6 (type EXCL) for 3 NoC3x3-PT-4A-CTLFireability-2024-01
[lola][I] time limit : 179 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 64 (type EQUN) for NoC3x3-PT-4A-CTLFireability-2024-01
[lola][I] result : true
[lola][I] LAUNCH task # 66 (type FNDP) for 32 NoC3x3-PT-4A-CTLFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 67 (type EQUN) for 32 NoC3x3-PT-4A-CTLFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 66 (type FNDP) for NoC3x3-PT-4A-CTLFireability-2024-08
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 67 (type EQUN) for NoC3x3-PT-4A-CTLFireability-2024-08 (obsolete)
[lola][I] FINISHED task # 67 (type EQUN) for NoC3x3-PT-4A-CTLFireability-2024-08
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 4/211 4/2000 NoC3x3-PT-4A-CTLFireability-2024-01 845091 m, 169018 m/sec, 3002103 t fired, .
[lola][.]
[lola][.] Time elapsed: 6 secs. Pages in use: 4
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 9/211 8/2000 NoC3x3-PT-4A-CTLFireability-2024-01 1705751 m, 172132 m/sec, 6107367 t fired, .
[lola][.]
[lola][.] Time elapsed: 11 secs. Pages in use: 8
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 14/211 11/2000 NoC3x3-PT-4A-CTLFireability-2024-01 2579797 m, 174809 m/sec, 9274746 t fired, .
[lola][.]
[lola][.] Time elapsed: 16 secs. Pages in use: 11
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 19/211 15/2000 NoC3x3-PT-4A-CTLFireability-2024-01 3429354 m, 169911 m/sec, 12363382 t fired, .
[lola][.]
[lola][.] Time elapsed: 21 secs. Pages in use: 15
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 24/211 18/2000 NoC3x3-PT-4A-CTLFireability-2024-01 4256785 m, 165486 m/sec, 15408299 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][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 29/211 22/2000 NoC3x3-PT-4A-CTLFireability-2024-01 5011846 m, 151012 m/sec, 18356666 t fired, .
[lola][.]
[lola][.] Time elapsed: 31 secs. Pages in use: 22
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 34/211 25/2000 NoC3x3-PT-4A-CTLFireability-2024-01 5882078 m, 174046 m/sec, 21460614 t fired, .
[lola][.]
[lola][.] Time elapsed: 36 secs. Pages in use: 25
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 39/211 29/2000 NoC3x3-PT-4A-CTLFireability-2024-01 6713063 m, 166197 m/sec, 24480599 t fired, .
[lola][.]
[lola][.] Time elapsed: 41 secs. Pages in use: 29
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 44/211 32/2000 NoC3x3-PT-4A-CTLFireability-2024-01 7462516 m, 149890 m/sec, 27645772 t fired, .
[lola][.]
[lola][.] Time elapsed: 46 secs. Pages in use: 32
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 49/211 35/2000 NoC3x3-PT-4A-CTLFireability-2024-01 8156070 m, 138710 m/sec, 30700549 t fired, .
[lola][.]
[lola][.] Time elapsed: 51 secs. Pages in use: 35
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 54/211 38/2000 NoC3x3-PT-4A-CTLFireability-2024-01 8886100 m, 146006 m/sec, 33771276 t fired, .
[lola][.]
[lola][.] Time elapsed: 56 secs. Pages in use: 38
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 59/211 42/2000 NoC3x3-PT-4A-CTLFireability-2024-01 9761150 m, 175010 m/sec, 36883637 t fired, .
[lola][.]
[lola][.] Time elapsed: 61 secs. Pages in use: 42
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 64/211 45/2000 NoC3x3-PT-4A-CTLFireability-2024-01 10553054 m, 158380 m/sec, 39885587 t fired, .
[lola][.]
[lola][.] Time elapsed: 66 secs. Pages in use: 45
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 69/211 48/2000 NoC3x3-PT-4A-CTLFireability-2024-01 11266704 m, 142730 m/sec, 43010562 t fired, .
[lola][.]
[lola][.] Time elapsed: 71 secs. Pages in use: 48
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 74/211 51/2000 NoC3x3-PT-4A-CTLFireability-2024-01 11937572 m, 134173 m/sec, 46022938 t fired, .
[lola][.]
[lola][.] Time elapsed: 76 secs. Pages in use: 51
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 79/211 54/2000 NoC3x3-PT-4A-CTLFireability-2024-01 12663919 m, 145269 m/sec, 49121445 t fired, .
[lola][.]
[lola][.] Time elapsed: 81 secs. Pages in use: 54
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 84/211 57/2000 NoC3x3-PT-4A-CTLFireability-2024-01 13409019 m, 149020 m/sec, 52167364 t fired, .
[lola][.]
[lola][.] Time elapsed: 86 secs. Pages in use: 57
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 89/211 60/2000 NoC3x3-PT-4A-CTLFireability-2024-01 14096783 m, 137552 m/sec, 55139757 t fired, .
[lola][.]
[lola][.] Time elapsed: 91 secs. Pages in use: 60
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 94/211 62/2000 NoC3x3-PT-4A-CTLFireability-2024-01 14722662 m, 125175 m/sec, 58224035 t fired, .
[lola][.]
[lola][.] Time elapsed: 96 secs. Pages in use: 62
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 99/211 65/2000 NoC3x3-PT-4A-CTLFireability-2024-01 15322947 m, 120057 m/sec, 61208381 t fired, .
[lola][.]
[lola][.] Time elapsed: 101 secs. Pages in use: 65
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 104/211 68/2000 NoC3x3-PT-4A-CTLFireability-2024-01 15944719 m, 124354 m/sec, 64193203 t fired, .
[lola][.]
[lola][.] Time elapsed: 106 secs. Pages in use: 68
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 109/211 71/2000 NoC3x3-PT-4A-CTLFireability-2024-01 16721894 m, 155435 m/sec, 67154014 t fired, .
[lola][.]
[lola][.] Time elapsed: 111 secs. Pages in use: 71
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 114/211 74/2000 NoC3x3-PT-4A-CTLFireability-2024-01 17486904 m, 153002 m/sec, 70067416 t fired, .
[lola][.]
[lola][.] Time elapsed: 116 secs. Pages in use: 74
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 119/211 77/2000 NoC3x3-PT-4A-CTLFireability-2024-01 18236891 m, 149997 m/sec, 72967774 t fired, .
[lola][.]
[lola][.] Time elapsed: 121 secs. Pages in use: 77
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 124/211 80/2000 NoC3x3-PT-4A-CTLFireability-2024-01 18943358 m, 141293 m/sec, 75795577 t fired, .
[lola][.]
[lola][.] Time elapsed: 126 secs. Pages in use: 80
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 129/211 83/2000 NoC3x3-PT-4A-CTLFireability-2024-01 19710705 m, 153469 m/sec, 78664867 t fired, .
[lola][.]
[lola][.] Time elapsed: 131 secs. Pages in use: 83
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 134/211 86/2000 NoC3x3-PT-4A-CTLFireability-2024-01 20436882 m, 145235 m/sec, 81508389 t fired, .
[lola][.]
[lola][.] Time elapsed: 136 secs. Pages in use: 86
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 139/211 89/2000 NoC3x3-PT-4A-CTLFireability-2024-01 21119634 m, 136550 m/sec, 84273881 t fired, .
[lola][.]
[lola][.] Time elapsed: 141 secs. Pages in use: 89
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 144/211 92/2000 NoC3x3-PT-4A-CTLFireability-2024-01 21814732 m, 139019 m/sec, 87048793 t fired, .
[lola][.]
[lola][.] Time elapsed: 146 secs. Pages in use: 92
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 149/211 95/2000 NoC3x3-PT-4A-CTLFireability-2024-01 22539211 m, 144895 m/sec, 89854310 t fired, .
[lola][.]
[lola][.] Time elapsed: 151 secs. Pages in use: 95
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 154/211 98/2000 NoC3x3-PT-4A-CTLFireability-2024-01 23235942 m, 139346 m/sec, 92661267 t fired, .
[lola][.]
[lola][.] Time elapsed: 156 secs. Pages in use: 98
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 159/211 102/2000 NoC3x3-PT-4A-CTLFireability-2024-01 24019083 m, 156628 m/sec, 95635054 t fired, .
[lola][.]
[lola][.] Time elapsed: 161 secs. Pages in use: 102
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 164/211 105/2000 NoC3x3-PT-4A-CTLFireability-2024-01 24882765 m, 172736 m/sec, 98713269 t fired, .
[lola][.]
[lola][.] Time elapsed: 166 secs. Pages in use: 105
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 169/211 109/2000 NoC3x3-PT-4A-CTLFireability-2024-01 25682349 m, 159916 m/sec, 101791843 t fired, .
[lola][.]
[lola][.] Time elapsed: 171 secs. Pages in use: 109
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 174/211 112/2000 NoC3x3-PT-4A-CTLFireability-2024-01 26460002 m, 155530 m/sec, 104883158 t fired, .
[lola][.]
[lola][.] Time elapsed: 176 secs. Pages in use: 112
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 179/211 115/2000 NoC3x3-PT-4A-CTLFireability-2024-01 27231336 m, 154266 m/sec, 107844594 t fired, .
[lola][.]
[lola][.] Time elapsed: 181 secs. Pages in use: 115
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 184/211 118/2000 NoC3x3-PT-4A-CTLFireability-2024-01 27917269 m, 137186 m/sec, 110710928 t fired, .
[lola][.]
[lola][.] Time elapsed: 186 secs. Pages in use: 118
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 189/211 121/2000 NoC3x3-PT-4A-CTLFireability-2024-01 28648299 m, 146206 m/sec, 113651182 t fired, .
[lola][.]
[lola][.] Time elapsed: 191 secs. Pages in use: 121
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 194/211 125/2000 NoC3x3-PT-4A-CTLFireability-2024-01 29481427 m, 166625 m/sec, 116682085 t fired, .
[lola][.]
[lola][.] Time elapsed: 196 secs. Pages in use: 125
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 199/211 128/2000 NoC3x3-PT-4A-CTLFireability-2024-01 30292749 m, 162264 m/sec, 119593664 t fired, .
[lola][.]
[lola][.] Time elapsed: 201 secs. Pages in use: 128
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 204/211 131/2000 NoC3x3-PT-4A-CTLFireability-2024-01 31025282 m, 146506 m/sec, 122680230 t fired, .
[lola][.]
[lola][.] Time elapsed: 206 secs. Pages in use: 131
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 209/211 133/2000 NoC3x3-PT-4A-CTLFireability-2024-01 31409192 m, 76782 m/sec, 126870319 t fired, .
[lola][.]
[lola][.] Time elapsed: 211 secs. Pages in use: 133
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][W] CANCELED task # 6 (type EXCL) for NoC3x3-PT-4A-CTLFireability-2024-01 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 1 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 216 secs. Pages in use: 135
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] LAUNCH task # 58 (type EXCL) for 57 NoC3x3-PT-4A-CTLFireability-2023-15
[lola][I] time limit : 211 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 6 (type EXCL) for 3 NoC3x3-PT-4A-CTLFireability-2024-01
[lola][I] time limit : 3384 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 1 0 4 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 6 CTL EXCL 5/3384 4/5 NoC3x3-PT-4A-CTLFireability-2024-01 870146 m, -6107809 m/sec, 3088927 t fired, .
[lola][.] 58 CTL EXCL 5/211 5/2000 NoC3x3-PT-4A-CTLFireability-2023-15 1054085 m, 210817 m/sec, 4334414 t fired, .
[lola][.]
[lola][.] Time elapsed: 221 secs. Pages in use: 144
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] CANCELED task # 6 (type EXCL) for NoC3x3-PT-4A-CTLFireability-2024-01 (memory limit exceeded)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 10/199 9/2000 NoC3x3-PT-4A-CTLFireability-2023-15 2063146 m, 201812 m/sec, 8523279 t fired, .
[lola][.]
[lola][.] Time elapsed: 226 secs. Pages in use: 147
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 15/211 14/2000 NoC3x3-PT-4A-CTLFireability-2023-15 3098216 m, 207014 m/sec, 12821846 t fired, .
[lola][.]
[lola][.] Time elapsed: 231 secs. Pages in use: 149
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 20/211 18/2000 NoC3x3-PT-4A-CTLFireability-2023-15 4137343 m, 207825 m/sec, 17120702 t fired, .
[lola][.]
[lola][.] Time elapsed: 236 secs. Pages in use: 153
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 25/211 22/2000 NoC3x3-PT-4A-CTLFireability-2023-15 5129391 m, 198409 m/sec, 21272460 t fired, .
[lola][.]
[lola][.] Time elapsed: 241 secs. Pages in use: 157
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 30/211 26/2000 NoC3x3-PT-4A-CTLFireability-2023-15 6157979 m, 205717 m/sec, 25537202 t fired, .
[lola][.]
[lola][.] Time elapsed: 246 secs. Pages in use: 161
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 35/211 31/2000 NoC3x3-PT-4A-CTLFireability-2023-15 7157652 m, 199934 m/sec, 29706914 t fired, .
[lola][.]
[lola][.] Time elapsed: 251 secs. Pages in use: 166
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 40/211 35/2000 NoC3x3-PT-4A-CTLFireability-2023-15 8190069 m, 206483 m/sec, 33973774 t fired, .
[lola][.]
[lola][.] Time elapsed: 256 secs. Pages in use: 170
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 45/211 39/2000 NoC3x3-PT-4A-CTLFireability-2023-15 9161105 m, 194207 m/sec, 38045743 t fired, .
[lola][.]
[lola][.] Time elapsed: 261 secs. Pages in use: 174
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 50/211 43/2000 NoC3x3-PT-4A-CTLFireability-2023-15 10181195 m, 204018 m/sec, 42275101 t fired, .
[lola][.]
[lola][.] Time elapsed: 266 secs. Pages in use: 178
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 55/211 48/2000 NoC3x3-PT-4A-CTLFireability-2023-15 11173930 m, 198547 m/sec, 46412227 t fired, .
[lola][.]
[lola][.] Time elapsed: 271 secs. Pages in use: 183
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 60/211 52/2000 NoC3x3-PT-4A-CTLFireability-2023-15 12148564 m, 194926 m/sec, 50493682 t fired, .
[lola][.]
[lola][.] Time elapsed: 276 secs. Pages in use: 187
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 65/211 56/2000 NoC3x3-PT-4A-CTLFireability-2023-15 13134770 m, 197241 m/sec, 54615996 t fired, .
[lola][.]
[lola][.] Time elapsed: 281 secs. Pages in use: 191
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 70/211 60/2000 NoC3x3-PT-4A-CTLFireability-2023-15 14103896 m, 193825 m/sec, 58685487 t fired, .
[lola][.]
[lola][.] Time elapsed: 286 secs. Pages in use: 195
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 75/211 64/2000 NoC3x3-PT-4A-CTLFireability-2023-15 15080676 m, 195356 m/sec, 62780012 t fired, .
[lola][.]
[lola][.] Time elapsed: 291 secs. Pages in use: 199
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 81/211 68/2000 NoC3x3-PT-4A-CTLFireability-2023-15 16040396 m, 191944 m/sec, 66801003 t fired, .
[lola][.]
[lola][.] Time elapsed: 297 secs. Pages in use: 203
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 86/211 72/2000 NoC3x3-PT-4A-CTLFireability-2023-15 17002924 m, 192505 m/sec, 70838770 t fired, .
[lola][.]
[lola][.] Time elapsed: 302 secs. Pages in use: 207
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 91/211 76/2000 NoC3x3-PT-4A-CTLFireability-2023-15 17959508 m, 191316 m/sec, 74856716 t fired, .
[lola][.]
[lola][.] Time elapsed: 307 secs. Pages in use: 211
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 96/211 80/2000 NoC3x3-PT-4A-CTLFireability-2023-15 18915065 m, 191111 m/sec, 78863909 t fired, .
[lola][.]
[lola][.] Time elapsed: 312 secs. Pages in use: 215
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 101/211 84/2000 NoC3x3-PT-4A-CTLFireability-2023-15 19851286 m, 187244 m/sec, 82812594 t fired, .
[lola][.]
[lola][.] Time elapsed: 317 secs. Pages in use: 219
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 106/211 88/2000 NoC3x3-PT-4A-CTLFireability-2023-15 20821498 m, 194042 m/sec, 86873493 t fired, .
[lola][.]
[lola][.] Time elapsed: 322 secs. Pages in use: 223
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 111/211 92/2000 NoC3x3-PT-4A-CTLFireability-2023-15 21781019 m, 191904 m/sec, 90901026 t fired, .
[lola][.]
[lola][.] Time elapsed: 327 secs. Pages in use: 227
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 116/211 96/2000 NoC3x3-PT-4A-CTLFireability-2023-15 22787619 m, 201320 m/sec, 95075023 t fired, .
[lola][.]
[lola][.] Time elapsed: 332 secs. Pages in use: 231
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 121/211 100/2000 NoC3x3-PT-4A-CTLFireability-2023-15 23734844 m, 189445 m/sec, 99046905 t fired, .
[lola][.]
[lola][.] Time elapsed: 337 secs. Pages in use: 235
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 126/211 104/2000 NoC3x3-PT-4A-CTLFireability-2023-15 24711279 m, 195287 m/sec, 103126205 t fired, .
[lola][.]
[lola][.] Time elapsed: 342 secs. Pages in use: 239
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 131/211 108/2000 NoC3x3-PT-4A-CTLFireability-2023-15 25654594 m, 188663 m/sec, 107097475 t fired, .
[lola][.]
[lola][.] Time elapsed: 347 secs. Pages in use: 243
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 136/211 112/2000 NoC3x3-PT-4A-CTLFireability-2023-15 26602081 m, 189497 m/sec, 111073566 t fired, .
[lola][.]
[lola][.] Time elapsed: 352 secs. Pages in use: 247
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 141/211 116/2000 NoC3x3-PT-4A-CTLFireability-2023-15 27545133 m, 188610 m/sec, 115041567 t fired, .
[lola][.]
[lola][.] Time elapsed: 357 secs. Pages in use: 251
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 146/211 120/2000 NoC3x3-PT-4A-CTLFireability-2023-15 28504570 m, 191887 m/sec, 119069983 t fired, .
[lola][.]
[lola][.] Time elapsed: 362 secs. Pages in use: 255
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 151/211 124/2000 NoC3x3-PT-4A-CTLFireability-2023-15 29436067 m, 186299 m/sec, 122992477 t fired, .
[lola][.]
[lola][.] Time elapsed: 367 secs. Pages in use: 259
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 156/211 128/2000 NoC3x3-PT-4A-CTLFireability-2023-15 30390776 m, 190941 m/sec, 126990729 t fired, .
[lola][.]
[lola][.] Time elapsed: 372 secs. Pages in use: 263
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 161/211 132/2000 NoC3x3-PT-4A-CTLFireability-2023-15 31344373 m, 190719 m/sec, 130991632 t fired, .
[lola][.]
[lola][.] Time elapsed: 377 secs. Pages in use: 267
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 166/211 136/2000 NoC3x3-PT-4A-CTLFireability-2023-15 32305739 m, 192273 m/sec, 135018014 t fired, .
[lola][.]
[lola][.] Time elapsed: 382 secs. Pages in use: 271
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 171/211 140/2000 NoC3x3-PT-4A-CTLFireability-2023-15 33267507 m, 192353 m/sec, 139041064 t fired, .
[lola][.]
[lola][.] Time elapsed: 387 secs. Pages in use: 275
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 176/211 144/2000 NoC3x3-PT-4A-CTLFireability-2023-15 34223218 m, 191142 m/sec, 143045268 t fired, .
[lola][.]
[lola][.] Time elapsed: 392 secs. Pages in use: 279
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 181/211 148/2000 NoC3x3-PT-4A-CTLFireability-2023-15 35166026 m, 188561 m/sec, 147004967 t fired, .
[lola][.]
[lola][.] Time elapsed: 397 secs. Pages in use: 283
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 186/211 153/2000 NoC3x3-PT-4A-CTLFireability-2023-15 36132927 m, 193380 m/sec, 151043860 t fired, .
[lola][.]
[lola][.] Time elapsed: 402 secs. Pages in use: 288
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 191/211 156/2000 NoC3x3-PT-4A-CTLFireability-2023-15 37076862 m, 188787 m/sec, 155009195 t fired, .
[lola][.]
[lola][.] Time elapsed: 407 secs. Pages in use: 291
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 196/211 160/2000 NoC3x3-PT-4A-CTLFireability-2023-15 38012725 m, 187172 m/sec, 158952513 t fired, .
[lola][.]
[lola][.] Time elapsed: 412 secs. Pages in use: 295
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 201/211 164/2000 NoC3x3-PT-4A-CTLFireability-2023-15 38942456 m, 185946 m/sec, 162874375 t fired, .
[lola][.]
[lola][.] Time elapsed: 417 secs. Pages in use: 299
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 206/211 168/2000 NoC3x3-PT-4A-CTLFireability-2023-15 39913033 m, 194115 m/sec, 166927311 t fired, .
[lola][.]
[lola][.] Time elapsed: 422 secs. Pages in use: 303
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 58 CTL EXCL 211/211 172/2000 NoC3x3-PT-4A-CTLFireability-2023-15 40849778 m, 187349 m/sec, 170860330 t fired, .
[lola][.]
[lola][.] Time elapsed: 427 secs. Pages in use: 307
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][W] CANCELED task # 58 (type EXCL) for NoC3x3-PT-4A-CTLFireability-2023-15 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 0 0 1 1 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 432 secs. Pages in use: 311
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] LAUNCH task # 55 (type EXCL) for 54 NoC3x3-PT-4A-CTLFireability-2023-14
[lola][I] time limit : 211 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 58 (type EXCL) for 57 NoC3x3-PT-4A-CTLFireability-2023-15
[lola][I] time limit : 3168 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 55 CTL EXCL 5/211 10/2000 NoC3x3-PT-4A-CTLFireability-2023-14 2184661 m, 436932 m/sec, 4508492 t fired, .
[lola][.] 58 CTL EXCL 5/3168 5/5 NoC3x3-PT-4A-CTLFireability-2023-15 1077525 m, -7954450 m/sec, 4431100 t fired, .
[lola][.]
[lola][.] Time elapsed: 437 secs. Pages in use: 326
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] CANCELED task # 58 (type EXCL) for NoC3x3-PT-4A-CTLFireability-2023-15 (memory limit exceeded)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 55 CTL EXCL 10/211 19/2000 NoC3x3-PT-4A-CTLFireability-2023-14 4302946 m, 423657 m/sec, 8923380 t fired, .
[lola][.]
[lola][.] Time elapsed: 442 secs. Pages in use: 330
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-00: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-01: CONJ 0 0 0 0 4 0 1 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-03: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-04: CONJ 0 2 0 0 2 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-07: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-08: CONJ 0 1 0 0 4 0 0 1
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-09: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-10: SP ACTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-12: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] NoC3x3-PT-4A-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 55 CTL EXCL 15/211 24/2000 NoC3x3-PT-4A-CTLFireability-2023-14 5659298 m, 271270 m/sec, 11736438 t fired, .
[lola][.]
[lola][.] Time elapsed: 447 secs. Pages in use: 335
[lola][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 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="NoC3x3-PT-4A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is NoC3x3-PT-4A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r247-tall-171654353700602"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4A.tgz
mv NoC3x3-PT-4A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;