About the Execution of LoLA for CANInsertWithFailure-PT-080
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16170.331 | 2601660.00 | 3461247.00 | 5752.40 | [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-171620506600158.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-080, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-tall-171620506600158
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 39M
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 19 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 19 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 19 07:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 17:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K 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 39M 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-080-ReachabilityCardinality-2024-00
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14
FORMULA_NAME CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717027556483
BK_STOP 1717030158143
--------------------
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[34mReachabilityCardinality.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 50 (type SKEL/FNDP) for 0 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 51 (type SKEL/EQUN) for 0 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type SKEL/SRCH) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 30
[[35mlola[0m][I] fired transitions : 29
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 50 (type FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00 (obsolete)
[[35mlola[0m][W] CANCELED task # 51 (type EQUN) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00 (obsolete)
[[35mlola[0m][I] FINISHED task # 50 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 54 (type SKEL/FNDP) for 3 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type SKEL/EQUN) for 3 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 56 (type SKEL/SRCH) for 3 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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][.] 54 EF FNDP 4/1290 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01 264 attempts, .
[[35mlola[0m][.] 55 EF STEQ 4/1290 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 56 EF SRCH 4/1290 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01 11133 m, 2226 m/sec, 68049 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2314 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 54 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 525
[[35mlola[0m][I] time used : 7
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 55 (type EQUN) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01 (obsolete)
[[35mlola[0m][W] CANCELED task # 56 (type SRCH) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01 (obsolete)
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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: 2319 secs. Pages in use: 1
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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: 2324 secs. Pages in use: 1
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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: 2329 secs. Pages in use: 1
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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: 2334 secs. Pages in use: 1
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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: 2339 secs. Pages in use: 1
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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: 2344 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 58 (type SKEL/FNDP) for 9 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 59 (type SKEL/EQUN) for 9 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 60 (type SKEL/SRCH) for 9 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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][.] 58 EF FNDP 2/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1320 attempts, .
[[35mlola[0m][.] 59 EF STEQ 2/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 2/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 57670 m, 11534 m/sec, 89001 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2349 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 62 (type SKEL/FNDP) for 12 CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 62 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 25
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 67 (type SKEL/FNDP) for 27 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 67 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 72 (type SKEL/FNDP) for 21 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 72 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 77 (type SKEL/FNDP) for 33 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 77 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 82 (type SKEL/FNDP) for 24 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 82 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 87 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 87 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 91 (type SKEL/FNDP) for 39 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 91 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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][.] 58 EF FNDP 7/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5363 attempts, .
[[35mlola[0m][.] 59 EF STEQ 7/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 7/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 187623 m, 25990 m/sec, 325143 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2354 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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][.] 58 EF FNDP 12/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 9224 attempts, .
[[35mlola[0m][.] 59 EF STEQ 12/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 12/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 403436 m, 43162 m/sec, 733582 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2359 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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][.] 58 EF FNDP 17/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 12854 attempts, .
[[35mlola[0m][.] 59 EF STEQ 17/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 17/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 532954 m, 25903 m/sec, 976385 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2364 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 95 (type SKEL/FNDP) for 30 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 95 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 27
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 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][.] 58 EF FNDP 22/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 16708 attempts, .
[[35mlola[0m][.] 59 EF STEQ 22/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 22/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 687786 m, 30966 m/sec, 1270250 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2369 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 99 (type SKEL/FNDP) for 45 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 99 (type SKEL/FNDP) for CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 27/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 20031 attempts, .
[[35mlola[0m][.] 59 EF STEQ 27/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 27/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 845033 m, 31449 m/sec, 1572505 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2374 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 32/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 25052 attempts, .
[[35mlola[0m][.] 59 EF STEQ 32/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 32/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 986630 m, 28319 m/sec, 1836058 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2379 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 37/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 28466 attempts, .
[[35mlola[0m][.] 59 EF STEQ 37/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 37/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1137955 m, 30265 m/sec, 2128195 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2384 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 42/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 32588 attempts, .
[[35mlola[0m][.] 59 EF STEQ 42/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 42/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1283903 m, 29189 m/sec, 2414203 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2389 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 47/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 35660 attempts, .
[[35mlola[0m][.] 59 EF STEQ 47/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 47/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1464867 m, 36192 m/sec, 2765760 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2394 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 52/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 39474 attempts, .
[[35mlola[0m][.] 59 EF STEQ 52/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 52/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1615881 m, 30202 m/sec, 3061187 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2399 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 57/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 42016 attempts, .
[[35mlola[0m][.] 59 EF STEQ 57/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 57/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1743582 m, 25540 m/sec, 3321825 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2404 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 62/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 44826 attempts, .
[[35mlola[0m][.] 59 EF STEQ 62/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 62/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1888034 m, 28890 m/sec, 3622504 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2409 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 67/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 47205 attempts, .
[[35mlola[0m][.] 59 EF STEQ 67/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 67/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 1994318 m, 21256 m/sec, 3832842 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2414 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 72/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 49548 attempts, .
[[35mlola[0m][.] 59 EF STEQ 72/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 72/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 2156092 m, 32354 m/sec, 4151451 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2419 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 77/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 51764 attempts, .
[[35mlola[0m][.] 59 EF STEQ 77/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 77/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 2300032 m, 28788 m/sec, 4402351 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2424 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 82/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 55055 attempts, .
[[35mlola[0m][.] 59 EF STEQ 82/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 82/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 2434836 m, 26960 m/sec, 4653307 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2429 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 87/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 58351 attempts, .
[[35mlola[0m][.] 59 EF STEQ 87/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 87/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 2586487 m, 30330 m/sec, 4975599 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2434 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 92/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 60107 attempts, .
[[35mlola[0m][.] 59 EF STEQ 92/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 92/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 2790465 m, 40795 m/sec, 5366500 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2439 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 97/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 62295 attempts, .
[[35mlola[0m][.] 59 EF STEQ 97/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 97/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 2916784 m, 25263 m/sec, 5600325 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2444 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 102/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 64284 attempts, .
[[35mlola[0m][.] 59 EF STEQ 102/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 102/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 3145630 m, 45769 m/sec, 6045426 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2449 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 107/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 66594 attempts, .
[[35mlola[0m][.] 59 EF STEQ 107/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 107/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 3330851 m, 37044 m/sec, 6404994 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2454 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 112/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 68141 attempts, .
[[35mlola[0m][.] 59 EF STEQ 112/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 112/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 3494124 m, 32654 m/sec, 6726330 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2459 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 117/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 69966 attempts, .
[[35mlola[0m][.] 59 EF STEQ 117/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 117/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 3663000 m, 33775 m/sec, 7065041 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2464 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 122/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 73035 attempts, .
[[35mlola[0m][.] 59 EF STEQ 122/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 122/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 3835916 m, 34583 m/sec, 7418200 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2469 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 127/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 75592 attempts, .
[[35mlola[0m][.] 59 EF STEQ 127/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 127/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4006637 m, 34144 m/sec, 7776321 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2474 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 132/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 78439 attempts, .
[[35mlola[0m][.] 59 EF STEQ 132/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 132/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4175503 m, 33773 m/sec, 8068346 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2479 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 137/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 80496 attempts, .
[[35mlola[0m][.] 59 EF STEQ 137/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 137/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4374225 m, 39744 m/sec, 8436908 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2484 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 142/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 82857 attempts, .
[[35mlola[0m][.] 59 EF STEQ 142/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 142/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4564951 m, 38145 m/sec, 8834346 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2489 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 147/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 85708 attempts, .
[[35mlola[0m][.] 59 EF STEQ 147/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 147/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4682275 m, 23464 m/sec, 9065429 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2494 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 152/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 87164 attempts, .
[[35mlola[0m][.] 59 EF STEQ 152/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 152/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4807194 m, 24983 m/sec, 9306841 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2499 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 157/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 89280 attempts, .
[[35mlola[0m][.] 59 EF STEQ 157/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 157/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 4963912 m, 31343 m/sec, 9617708 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2504 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 162/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 91770 attempts, .
[[35mlola[0m][.] 59 EF STEQ 162/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 162/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5155640 m, 38345 m/sec, 10000109 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2509 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 167/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 93517 attempts, .
[[35mlola[0m][.] 59 EF STEQ 167/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 167/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5283624 m, 25596 m/sec, 10270204 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2514 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 172/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 95206 attempts, .
[[35mlola[0m][.] 59 EF STEQ 172/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 172/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5420012 m, 27277 m/sec, 10539399 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2519 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 177/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 96749 attempts, .
[[35mlola[0m][.] 59 EF STEQ 177/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 177/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5540499 m, 24097 m/sec, 10785510 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2524 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 182/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 98733 attempts, .
[[35mlola[0m][.] 59 EF STEQ 182/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 182/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5690554 m, 30011 m/sec, 11054668 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2529 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 187/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 100653 attempts, .
[[35mlola[0m][.] 59 EF STEQ 187/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 187/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 5822241 m, 26337 m/sec, 11307259 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2534 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 192/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 103301 attempts, .
[[35mlola[0m][.] 59 EF STEQ 192/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 192/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 6006839 m, 36919 m/sec, 11704588 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2539 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 197/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 105964 attempts, .
[[35mlola[0m][.] 59 EF STEQ 197/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 197/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 6203583 m, 39348 m/sec, 12100027 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2544 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 202/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 108533 attempts, .
[[35mlola[0m][.] 59 EF STEQ 202/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 202/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 6405834 m, 40450 m/sec, 12510770 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2549 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 207/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 111189 attempts, .
[[35mlola[0m][.] 59 EF STEQ 207/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 207/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 6591883 m, 37209 m/sec, 12905278 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2554 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 212/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 113852 attempts, .
[[35mlola[0m][.] 59 EF STEQ 212/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 212/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 6814876 m, 44598 m/sec, 13320855 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2559 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 217/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 116476 attempts, .
[[35mlola[0m][.] 59 EF STEQ 217/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 217/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 6994127 m, 35850 m/sec, 13719586 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2564 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 222/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 119072 attempts, .
[[35mlola[0m][.] 59 EF STEQ 222/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 222/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 7209746 m, 43123 m/sec, 14145265 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2569 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 227/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 121702 attempts, .
[[35mlola[0m][.] 59 EF STEQ 227/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 227/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 7407937 m, 39638 m/sec, 14558741 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2574 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 232/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 124254 attempts, .
[[35mlola[0m][.] 59 EF STEQ 232/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 232/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 7627614 m, 43935 m/sec, 15000465 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2579 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 237/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 126898 attempts, .
[[35mlola[0m][.] 59 EF STEQ 237/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 237/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 7821150 m, 38707 m/sec, 15434111 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2584 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 242/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 129521 attempts, .
[[35mlola[0m][.] 59 EF STEQ 242/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 242/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 8023520 m, 40474 m/sec, 15843407 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2589 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 247/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 134243 attempts, .
[[35mlola[0m][.] 59 EF STEQ 247/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 247/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 8400597 m, 75415 m/sec, 16635262 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2594 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 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-080-ReachabilityCardinality-2024-00: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-02: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-09: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-11: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-12: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2023-14: AG 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 58 EF FNDP 252/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 140761 attempts, .
[[35mlola[0m][.] 59 EF STEQ 252/1253 0/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 60 EF SRCH 252/1253 1/5 CANInsertWithFailure-PT-080-ReachabilityCardinality-2024-03 8888978 m, 97676 m/sec, 17557896 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2599 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 402 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-080"
export BK_EXAMINATION="ReachabilityCardinality"
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-080, examination is ReachabilityCardinality"
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-171620506600158"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-080.tgz
mv CANInsertWithFailure-PT-080 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;