About the Execution of LoLA for CANInsertWithFailure-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16201.487 | 1381893.00 | 2184320.00 | 2937.30 | [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.r071-tall-171620506600169.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 CANInsertWithFailure-PT-100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-tall-171620506600169
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 61M
-rw-r--r-- 1 mcc users 8.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K May 19 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 15:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 19 07:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 17:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 19 07:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 19 15:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 60M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-00
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-01
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-02
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-03
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-04
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-05
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-06
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-07
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-08
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-09
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-10
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2024-11
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2023-12
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2023-13
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2023-14
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1717029086451
BK_STOP 1717030468344
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mCTLCardinality.xml[0m
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1047 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1052 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1057 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1062 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1067 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1072 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1077 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1082 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1087 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1092 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1097 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1102 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1107 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1112 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1117 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1122 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1127 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 64 (type SKEL/EQUN) for 43 CANInsertWithFailure-PT-100-CTLCardinality-2023-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 62 (type SKEL/SRCH) for 43 CANInsertWithFailure-PT-100-CTLCardinality-2023-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 1/2469 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 32233 m, 6446 m/sec, 66436 t fired, .
[[35mlola[0m][.] 64 EF STEQ 1/2469 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1132 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 67 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-100-CTLCardinality-2023-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 68 (type SKEL/EQUN) for 36 CANInsertWithFailure-PT-100-CTLCardinality-2023-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 0 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 6/2467 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 139018 m, 21357 m/sec, 393031 t fired, .
[[35mlola[0m][.] 64 EF STEQ 6/2467 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 4/2467 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 4894 attempts, .
[[35mlola[0m][.] 68 EF STEQ 4/1233 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1137 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 11/816 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 220002 m, 16196 m/sec, 639676 t fired, .
[[35mlola[0m][.] 64 EF STEQ 11/1227 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 9/817 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 10079 attempts, .
[[35mlola[0m][.] 68 EF STEQ 9/817 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1142 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 16/812 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 298778 m, 15755 m/sec, 895933 t fired, .
[[35mlola[0m][.] 64 EF STEQ 16/1223 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 14/813 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 14814 attempts, .
[[35mlola[0m][.] 68 EF STEQ 14/813 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1147 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 21/803 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 382830 m, 16810 m/sec, 1176543 t fired, .
[[35mlola[0m][.] 64 EF STEQ 21/1214 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 19/804 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 18938 attempts, .
[[35mlola[0m][.] 68 EF STEQ 19/804 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1152 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 26/802 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 465954 m, 16624 m/sec, 1470479 t fired, .
[[35mlola[0m][.] 64 EF STEQ 26/1213 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 24/803 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 25549 attempts, .
[[35mlola[0m][.] 68 EF STEQ 24/803 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1157 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 31/797 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 630022 m, 32813 m/sec, 2024303 t fired, .
[[35mlola[0m][.] 64 EF STEQ 31/1208 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 29/798 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 33789 attempts, .
[[35mlola[0m][.] 68 EF STEQ 29/798 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1162 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 36/792 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 744769 m, 22949 m/sec, 2690290 t fired, .
[[35mlola[0m][.] 64 EF STEQ 36/1203 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 34/793 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 41739 attempts, .
[[35mlola[0m][.] 68 EF STEQ 34/793 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1167 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 41/787 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 917399 m, 34526 m/sec, 3278821 t fired, .
[[35mlola[0m][.] 64 EF STEQ 41/1198 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 39/788 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 45523 attempts, .
[[35mlola[0m][.] 68 EF STEQ 39/788 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1172 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 46/782 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1106045 m, 37729 m/sec, 3872672 t fired, .
[[35mlola[0m][.] 64 EF STEQ 46/1193 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 44/783 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 50723 attempts, .
[[35mlola[0m][.] 68 EF STEQ 44/783 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1177 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 51/777 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1264431 m, 31677 m/sec, 4474307 t fired, .
[[35mlola[0m][.] 64 EF STEQ 51/1188 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 49/778 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 58233 attempts, .
[[35mlola[0m][.] 68 EF STEQ 49/778 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1182 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 56/772 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1396009 m, 26315 m/sec, 5016606 t fired, .
[[35mlola[0m][.] 64 EF STEQ 56/1183 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 54/773 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 65337 attempts, .
[[35mlola[0m][.] 68 EF STEQ 54/773 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1187 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 61/767 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1476686 m, 16135 m/sec, 5469853 t fired, .
[[35mlola[0m][.] 64 EF STEQ 61/1178 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 59/768 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 70805 attempts, .
[[35mlola[0m][.] 68 EF STEQ 59/768 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1192 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 66/762 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1584011 m, 21465 m/sec, 5894362 t fired, .
[[35mlola[0m][.] 64 EF STEQ 66/1173 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 64/763 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 74465 attempts, .
[[35mlola[0m][.] 68 EF STEQ 64/763 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1197 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 71/757 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1742798 m, 31757 m/sec, 6313005 t fired, .
[[35mlola[0m][.] 64 EF STEQ 71/1168 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 69/758 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 78896 attempts, .
[[35mlola[0m][.] 68 EF STEQ 69/758 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1202 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 76/752 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1866488 m, 24738 m/sec, 6646995 t fired, .
[[35mlola[0m][.] 64 EF STEQ 76/1163 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 74/753 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 85965 attempts, .
[[35mlola[0m][.] 68 EF STEQ 74/753 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1207 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 81/747 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 1942897 m, 15281 m/sec, 7045492 t fired, .
[[35mlola[0m][.] 64 EF STEQ 81/1158 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 79/748 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 92851 attempts, .
[[35mlola[0m][.] 68 EF STEQ 79/748 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1212 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 86/742 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2038360 m, 19092 m/sec, 7365428 t fired, .
[[35mlola[0m][.] 64 EF STEQ 86/1153 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 84/743 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 98919 attempts, .
[[35mlola[0m][.] 68 EF STEQ 84/743 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1217 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 91/737 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2121643 m, 16656 m/sec, 7765724 t fired, .
[[35mlola[0m][.] 64 EF STEQ 91/1148 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 89/738 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 102932 attempts, .
[[35mlola[0m][.] 68 EF STEQ 89/738 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1222 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 96/732 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2238618 m, 23395 m/sec, 8177588 t fired, .
[[35mlola[0m][.] 64 EF STEQ 96/1143 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 94/733 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 109516 attempts, .
[[35mlola[0m][.] 68 EF STEQ 94/733 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1227 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 101/727 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2340444 m, 20365 m/sec, 8547648 t fired, .
[[35mlola[0m][.] 64 EF STEQ 101/1138 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 99/728 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 115689 attempts, .
[[35mlola[0m][.] 68 EF STEQ 99/728 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1232 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 106/722 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2522507 m, 36412 m/sec, 9086700 t fired, .
[[35mlola[0m][.] 64 EF STEQ 106/1133 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 104/723 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 121878 attempts, .
[[35mlola[0m][.] 68 EF STEQ 104/723 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1237 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 111/717 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2676992 m, 30897 m/sec, 9678254 t fired, .
[[35mlola[0m][.] 64 EF STEQ 111/1128 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 109/718 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 128229 attempts, .
[[35mlola[0m][.] 68 EF STEQ 109/718 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1242 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 116/712 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2824158 m, 29433 m/sec, 10233246 t fired, .
[[35mlola[0m][.] 64 EF STEQ 116/1123 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 114/713 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 134659 attempts, .
[[35mlola[0m][.] 68 EF STEQ 114/713 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1247 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 121/707 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 2996497 m, 34467 m/sec, 10773626 t fired, .
[[35mlola[0m][.] 64 EF STEQ 121/1118 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 119/708 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 140740 attempts, .
[[35mlola[0m][.] 68 EF STEQ 119/708 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1252 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 126/702 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3112073 m, 23115 m/sec, 11445858 t fired, .
[[35mlola[0m][.] 64 EF STEQ 126/1113 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 124/703 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 146782 attempts, .
[[35mlola[0m][.] 68 EF STEQ 124/703 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1257 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 131/697 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3292550 m, 36095 m/sec, 11949185 t fired, .
[[35mlola[0m][.] 64 EF STEQ 131/1108 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 129/698 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 152604 attempts, .
[[35mlola[0m][.] 68 EF STEQ 129/698 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1262 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 136/692 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3407634 m, 23016 m/sec, 12567626 t fired, .
[[35mlola[0m][.] 64 EF STEQ 136/1103 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 134/693 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 158753 attempts, .
[[35mlola[0m][.] 68 EF STEQ 134/693 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1267 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 141/687 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3517425 m, 21958 m/sec, 13141271 t fired, .
[[35mlola[0m][.] 64 EF STEQ 141/1098 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 139/688 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 164230 attempts, .
[[35mlola[0m][.] 68 EF STEQ 139/688 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1272 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 146/682 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3635039 m, 23522 m/sec, 13765026 t fired, .
[[35mlola[0m][.] 64 EF STEQ 146/1093 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 144/683 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 169953 attempts, .
[[35mlola[0m][.] 68 EF STEQ 144/683 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1277 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 151/677 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3747171 m, 22426 m/sec, 14345939 t fired, .
[[35mlola[0m][.] 64 EF STEQ 151/1088 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 149/678 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 175288 attempts, .
[[35mlola[0m][.] 68 EF STEQ 149/678 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1282 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 156/672 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3863554 m, 23276 m/sec, 14964226 t fired, .
[[35mlola[0m][.] 64 EF STEQ 156/1083 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 154/673 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 180793 attempts, .
[[35mlola[0m][.] 68 EF STEQ 154/673 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1287 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 161/667 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 3981705 m, 23630 m/sec, 15594015 t fired, .
[[35mlola[0m][.] 64 EF STEQ 161/1078 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 159/668 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 186233 attempts, .
[[35mlola[0m][.] 68 EF STEQ 159/668 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1292 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 166/662 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4125407 m, 28740 m/sec, 16191591 t fired, .
[[35mlola[0m][.] 64 EF STEQ 166/1073 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 164/663 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 191685 attempts, .
[[35mlola[0m][.] 68 EF STEQ 164/663 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1297 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 171/657 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4264556 m, 27829 m/sec, 16827113 t fired, .
[[35mlola[0m][.] 64 EF STEQ 171/1068 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 169/658 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 197156 attempts, .
[[35mlola[0m][.] 68 EF STEQ 169/658 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1302 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 176/652 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4405755 m, 28239 m/sec, 17370774 t fired, .
[[35mlola[0m][.] 64 EF STEQ 176/1063 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 174/653 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 202548 attempts, .
[[35mlola[0m][.] 68 EF STEQ 174/653 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1307 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 181/647 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4553295 m, 29508 m/sec, 17902645 t fired, .
[[35mlola[0m][.] 64 EF STEQ 181/1058 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 179/648 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 207853 attempts, .
[[35mlola[0m][.] 68 EF STEQ 179/648 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1312 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 186/642 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4690876 m, 27516 m/sec, 18385517 t fired, .
[[35mlola[0m][.] 64 EF STEQ 186/1053 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 184/643 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 213052 attempts, .
[[35mlola[0m][.] 68 EF STEQ 184/643 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1317 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 191/637 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4848842 m, 31593 m/sec, 18905370 t fired, .
[[35mlola[0m][.] 64 EF STEQ 191/1048 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 189/638 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 218177 attempts, .
[[35mlola[0m][.] 68 EF STEQ 189/638 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1322 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 196/632 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 4993182 m, 28868 m/sec, 19445183 t fired, .
[[35mlola[0m][.] 64 EF STEQ 196/1043 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 194/633 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 223589 attempts, .
[[35mlola[0m][.] 68 EF STEQ 194/633 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1327 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 201/627 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 5154476 m, 32258 m/sec, 20000923 t fired, .
[[35mlola[0m][.] 64 EF STEQ 201/1038 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 199/628 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 228649 attempts, .
[[35mlola[0m][.] 68 EF STEQ 199/628 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1332 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 206/622 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 5278248 m, 24754 m/sec, 20609950 t fired, .
[[35mlola[0m][.] 64 EF STEQ 206/1033 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 204/623 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 233470 attempts, .
[[35mlola[0m][.] 68 EF STEQ 204/623 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1337 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 211/617 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 5386283 m, 21607 m/sec, 21221936 t fired, .
[[35mlola[0m][.] 64 EF STEQ 211/1028 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 209/618 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 238737 attempts, .
[[35mlola[0m][.] 68 EF STEQ 209/618 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1342 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 216/612 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 5515457 m, 25834 m/sec, 21781532 t fired, .
[[35mlola[0m][.] 64 EF STEQ 216/1023 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 214/613 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 243821 attempts, .
[[35mlola[0m][.] 68 EF STEQ 214/613 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1347 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 221/607 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 5722546 m, 41417 m/sec, 22353004 t fired, .
[[35mlola[0m][.] 64 EF STEQ 221/1018 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 219/608 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 248878 attempts, .
[[35mlola[0m][.] 68 EF STEQ 219/608 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1352 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 226/602 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 5878795 m, 31249 m/sec, 22957327 t fired, .
[[35mlola[0m][.] 64 EF STEQ 226/1013 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 224/603 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 253890 attempts, .
[[35mlola[0m][.] 68 EF STEQ 224/603 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1357 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 231/597 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 6393857 m, 103012 m/sec, 24634618 t fired, .
[[35mlola[0m][.] 64 EF STEQ 231/1008 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 229/598 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 264487 attempts, .
[[35mlola[0m][.] 68 EF STEQ 229/598 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1362 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 236/592 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 7116998 m, 144628 m/sec, 27571922 t fired, .
[[35mlola[0m][.] 64 EF STEQ 236/1003 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 234/593 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 285026 attempts, .
[[35mlola[0m][.] 68 EF STEQ 234/593 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1367 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 241/587 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 7716808 m, 119962 m/sec, 30343171 t fired, .
[[35mlola[0m][.] 64 EF STEQ 241/998 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 239/588 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 303362 attempts, .
[[35mlola[0m][.] 68 EF STEQ 239/588 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1372 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-00: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-01: EFEG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-02: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-03: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-04: EG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-05: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-06: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-07: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-08: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-09: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-10: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2024-11: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-12: CONJ 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-13: CONJ 0 3 2 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-14: CONJ 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-100-CTLCardinality-2023-15: CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 EXEF SRCH 246/582 1/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 8247353 m, 106109 m/sec, 32806584 t fired, .
[[35mlola[0m][.] 64 EF STEQ 246/993 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-13 sara not yet started (preprocessing).
[[35mlola[0m][.] 67 EF FNDP 244/583 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 317838 attempts, .
[[35mlola[0m][.] 68 EF STEQ 244/583 0/5 CANInsertWithFailure-PT-100-CTLCardinality-2023-12 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1377 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 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="CANInsertWithFailure-PT-100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is CANInsertWithFailure-PT-100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-tall-171620506600169"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-100.tgz
mv CANInsertWithFailure-PT-100 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;