MCC'2024- Execution of r071-tall-171620506400078

About the Execution of LoLA for CANConstruction-PT-090

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16173.596	2494209.00	3380103.00	5831.30	T??????????????F	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r071-tall-171620506400078.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 CANConstruction-PT-090, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-tall-171620506400078
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 22 14:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 22 14:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K 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 92K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 22 14:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:31 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 12M 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 CANConstruction-PT-090-ReachabilityCardinality-2024-00
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-01
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-02
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-03
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-04
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-05
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-06
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-07
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-08
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-09
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-10
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2023-11
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-12
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-13
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-14
FORMULA_NAME CANConstruction-PT-090-ReachabilityCardinality-2024-15

=== Now, execution of the tool begins

BK_START 1717010020188

FORMULA CANConstruction-PT-090-ReachabilityCardinality-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANConstruction-PT-090-ReachabilityCardinality-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717012514397

--------------------
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] LAUNCH task # 50 (type SKEL/FNDP) for 3 CANConstruction-PT-090-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 51 (type SKEL/EQUN) for 3 CANConstruction-PT-090-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type SKEL/SRCH) for 3 CANConstruction-PT-090-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type SKEL/SRCH) for CANConstruction-PT-090-ReachabilityCardinality-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 12
[[35mlola[0m][I] fired transitions : 11
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 50 (type FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-01 (obsolete)
[[35mlola[0m][W] CANCELED task # 51 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-01 (obsolete)
[[35mlola[0m][I] FINISHED task # 50 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-01
[[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 # 55 (type SKEL/FNDP) for 6 CANConstruction-PT-090-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 56 (type SKEL/EQUN) for 6 CANConstruction-PT-090-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 57 (type SKEL/SRCH) for 6 CANConstruction-PT-090-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 55 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-02
[[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][W] CANCELED task # 56 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-02 (obsolete)
[[35mlola[0m][W] CANCELED task # 57 (type SRCH) for CANConstruction-PT-090-ReachabilityCardinality-2024-02 (obsolete)
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-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: 2203 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][.] CANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-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: 2208 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][.] CANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-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: 2213 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 60 (type SKEL/FNDP) for 15 CANConstruction-PT-090-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 61 (type SKEL/EQUN) for 15 CANConstruction-PT-090-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 62 (type SKEL/SRCH) for 15 CANConstruction-PT-090-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 62 (type SKEL/SRCH) for CANConstruction-PT-090-ReachabilityCardinality-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 11
[[35mlola[0m][I] fired transitions : 10
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 1 (type CNST) for 0 CANConstruction-PT-090-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][W] CANCELED task # 60 (type FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-05 (obsolete)
[[35mlola[0m][W] CANCELED task # 61 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-05 (obsolete)
[[35mlola[0m][I] FINISHED task # 60 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-05
[[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] FINISHED task # 1 (type CNST) for CANConstruction-PT-090-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 65 (type SKEL/FNDP) for 9 CANConstruction-PT-090-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 66 (type SKEL/EQUN) for 9 CANConstruction-PT-090-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 67 (type SKEL/SRCH) for 9 CANConstruction-PT-090-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 67 (type SKEL/SRCH) for CANConstruction-PT-090-ReachabilityCardinality-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 11
[[35mlola[0m][I] fired transitions : 10
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 65 (type FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-03 (obsolete)
[[35mlola[0m][W] CANCELED task # 66 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-03 (obsolete)
[[35mlola[0m][I] FINISHED task # 65 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-03
[[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 # 69 (type SKEL/FNDP) for 21 CANConstruction-PT-090-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 70 (type SKEL/EQUN) for 21 CANConstruction-PT-090-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 71 (type SKEL/SRCH) for 21 CANConstruction-PT-090-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type SKEL/FNDP) for 18 CANConstruction-PT-090-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 73 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-06
[[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 27 CANConstruction-PT-090-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 77 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-09
[[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 # 81 (type SKEL/FNDP) for 12 CANConstruction-PT-090-ReachabilityCardinality-2024-04
[[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][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-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][.] 69 EF FNDP 2/1382 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 87 attempts, .
[[35mlola[0m][.] 70 EF STEQ 2/690 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 2/1382 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 14756 m, 2951 m/sec, 35934 t fired, .
[[35mlola[0m][.] 81 EF FNDP 0/691 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 2 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2218 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-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][.] 69 EF FNDP 7/456 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 360 attempts, .
[[35mlola[0m][.] 70 EF STEQ 7/456 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 7/456 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 51625 m, 7373 m/sec, 146977 t fired, .
[[35mlola[0m][.] 81 EF FNDP 5/457 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 61 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2223 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 12/337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 693 attempts, .
[[35mlola[0m][.] 70 EF STEQ 12/267 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 12/337 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 83298 m, 6334 m/sec, 255411 t fired, .
[[35mlola[0m][.] 81 EF FNDP 10/269 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 121 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2228 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 17/334 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1068 attempts, .
[[35mlola[0m][.] 70 EF STEQ 17/264 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 17/334 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 120974 m, 7535 m/sec, 365310 t fired, .
[[35mlola[0m][.] 81 EF FNDP 15/266 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 183 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2233 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 22/329 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1437 attempts, .
[[35mlola[0m][.] 70 EF STEQ 22/259 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 22/329 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 157492 m, 7303 m/sec, 474684 t fired, .
[[35mlola[0m][.] 81 EF FNDP 20/261 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 248 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2238 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 27/251 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1801 attempts, .
[[35mlola[0m][.] 70 EF STEQ 27/251 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 27/251 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 195524 m, 7606 m/sec, 583013 t fired, .
[[35mlola[0m][.] 81 EF FNDP 25/207 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 311 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2243 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 32/202 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 2174 attempts, .
[[35mlola[0m][.] 70 EF STEQ 32/202 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 32/202 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 235386 m, 7972 m/sec, 690643 t fired, .
[[35mlola[0m][.] 81 EF FNDP 30/204 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 378 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2248 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 37/198 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 2554 attempts, .
[[35mlola[0m][.] 70 EF STEQ 37/198 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 37/198 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 266994 m, 6321 m/sec, 802561 t fired, .
[[35mlola[0m][.] 81 EF FNDP 35/200 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 443 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2253 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 42/193 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 2920 attempts, .
[[35mlola[0m][.] 70 EF STEQ 42/193 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 42/193 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 295139 m, 5629 m/sec, 913574 t fired, .
[[35mlola[0m][.] 81 EF FNDP 40/195 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-04 509 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2258 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 81 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 577
[[35mlola[0m][I] time used : 45
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 85 (type SKEL/FNDP) for 39 CANConstruction-PT-090-ReachabilityCardinality-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 85 (type SKEL/FNDP) for CANConstruction-PT-090-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] LAUNCH task # 102 (type SKEL/FNDP) for 36 CANConstruction-PT-090-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 102 (type SKEL/FNDP) for CANConstruction-PT-090-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 # 90 (type SKEL/FNDP) for 33 CANConstruction-PT-090-ReachabilityCardinality-2023-11
[[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][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 47/414 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 3290 attempts, .
[[35mlola[0m][.] 70 EF STEQ 47/299 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 47/299 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 321787 m, 5329 m/sec, 1026850 t fired, .
[[35mlola[0m][.] 90 EF FNDP 0/334 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 30 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2263 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 52/414 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 3650 attempts, .
[[35mlola[0m][.] 70 EF STEQ 52/299 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 52/299 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 349636 m, 5569 m/sec, 1137420 t fired, .
[[35mlola[0m][.] 90 EF FNDP 5/334 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 1339 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2268 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 57/409 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 4013 attempts, .
[[35mlola[0m][.] 70 EF STEQ 57/294 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 57/294 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 360402 m, 2153 m/sec, 1250019 t fired, .
[[35mlola[0m][.] 90 EF FNDP 10/329 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 2373 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2273 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 62/404 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 4370 attempts, .
[[35mlola[0m][.] 70 EF STEQ 62/289 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 62/289 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 394095 m, 6738 m/sec, 1364229 t fired, .
[[35mlola[0m][.] 90 EF FNDP 15/324 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 3386 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2278 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 67/399 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 4722 attempts, .
[[35mlola[0m][.] 70 EF STEQ 67/284 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 67/284 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 425449 m, 6270 m/sec, 1481398 t fired, .
[[35mlola[0m][.] 90 EF FNDP 20/319 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 4270 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2283 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 72/394 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 5062 attempts, .
[[35mlola[0m][.] 70 EF STEQ 72/279 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 72/279 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 453271 m, 5564 m/sec, 1590254 t fired, .
[[35mlola[0m][.] 90 EF FNDP 25/314 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 5071 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2288 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 77/389 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 5392 attempts, .
[[35mlola[0m][.] 70 EF STEQ 77/274 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 77/274 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 481735 m, 5692 m/sec, 1703027 t fired, .
[[35mlola[0m][.] 90 EF FNDP 30/309 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 5853 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2293 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 82/384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 5733 attempts, .
[[35mlola[0m][.] 70 EF STEQ 82/269 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 82/269 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 510192 m, 5691 m/sec, 1816108 t fired, .
[[35mlola[0m][.] 90 EF FNDP 35/304 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 6657 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2298 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 87/379 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 6069 attempts, .
[[35mlola[0m][.] 70 EF STEQ 87/264 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 87/264 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 538917 m, 5745 m/sec, 1923300 t fired, .
[[35mlola[0m][.] 90 EF FNDP 40/299 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 7394 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2303 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 92/374 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 6397 attempts, .
[[35mlola[0m][.] 70 EF STEQ 92/259 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 92/259 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 571528 m, 6522 m/sec, 2036498 t fired, .
[[35mlola[0m][.] 90 EF FNDP 45/294 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 8103 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2308 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 97/369 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 6730 attempts, .
[[35mlola[0m][.] 70 EF STEQ 97/254 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 97/254 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 611750 m, 8044 m/sec, 2147561 t fired, .
[[35mlola[0m][.] 90 EF FNDP 50/289 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 8868 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2313 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 102/364 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 7051 attempts, .
[[35mlola[0m][.] 70 EF STEQ 102/249 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 102/249 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 648187 m, 7287 m/sec, 2255793 t fired, .
[[35mlola[0m][.] 90 EF FNDP 55/284 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 9583 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2318 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 107/359 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 7377 attempts, .
[[35mlola[0m][.] 70 EF STEQ 107/244 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 107/244 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 685144 m, 7391 m/sec, 2366123 t fired, .
[[35mlola[0m][.] 90 EF FNDP 60/279 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 10229 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2323 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 112/354 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 7704 attempts, .
[[35mlola[0m][.] 70 EF STEQ 112/239 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 112/239 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 718576 m, 6686 m/sec, 2476481 t fired, .
[[35mlola[0m][.] 90 EF FNDP 65/274 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 10912 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2328 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 117/349 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 8032 attempts, .
[[35mlola[0m][.] 70 EF STEQ 117/234 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 117/234 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 752594 m, 6803 m/sec, 2585108 t fired, .
[[35mlola[0m][.] 90 EF FNDP 70/269 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 11571 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2333 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 122/344 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 8359 attempts, .
[[35mlola[0m][.] 70 EF STEQ 122/229 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 122/229 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 785097 m, 6500 m/sec, 2694701 t fired, .
[[35mlola[0m][.] 90 EF FNDP 75/264 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 12244 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2338 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 127/339 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 8665 attempts, .
[[35mlola[0m][.] 70 EF STEQ 127/224 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 127/224 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 819258 m, 6832 m/sec, 2810398 t fired, .
[[35mlola[0m][.] 90 EF FNDP 80/259 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 12897 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2343 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 132/334 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 8980 attempts, .
[[35mlola[0m][.] 70 EF STEQ 132/219 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 132/219 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 852420 m, 6632 m/sec, 2922885 t fired, .
[[35mlola[0m][.] 90 EF FNDP 85/254 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 13566 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2348 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 137/329 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 9292 attempts, .
[[35mlola[0m][.] 70 EF STEQ 137/214 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 137/214 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 885384 m, 6592 m/sec, 3033219 t fired, .
[[35mlola[0m][.] 90 EF FNDP 90/249 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 14247 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2353 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 142/324 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 9603 attempts, .
[[35mlola[0m][.] 70 EF STEQ 142/209 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 142/209 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 920145 m, 6952 m/sec, 3146397 t fired, .
[[35mlola[0m][.] 90 EF FNDP 95/244 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 14898 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2358 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 147/319 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 9800 attempts, .
[[35mlola[0m][.] 70 EF STEQ 147/204 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 147/204 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 951659 m, 6302 m/sec, 3253249 t fired, .
[[35mlola[0m][.] 90 EF FNDP 100/239 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 15445 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2363 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 152/314 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 9966 attempts, .
[[35mlola[0m][.] 70 EF STEQ 152/199 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 152/199 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 976916 m, 5051 m/sec, 3341744 t fired, .
[[35mlola[0m][.] 90 EF FNDP 105/234 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 15834 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2368 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 157/309 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 10127 attempts, .
[[35mlola[0m][.] 70 EF STEQ 157/194 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 157/194 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1004724 m, 5561 m/sec, 3437303 t fired, .
[[35mlola[0m][.] 90 EF FNDP 110/229 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 16445 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2373 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 162/304 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 10266 attempts, .
[[35mlola[0m][.] 70 EF STEQ 162/189 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 162/189 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1033528 m, 5760 m/sec, 3528390 t fired, .
[[35mlola[0m][.] 90 EF FNDP 115/224 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 17067 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2378 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 167/299 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 10452 attempts, .
[[35mlola[0m][.] 70 EF STEQ 167/184 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 167/184 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1060482 m, 5390 m/sec, 3615398 t fired, .
[[35mlola[0m][.] 90 EF FNDP 120/219 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 17423 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2383 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 172/294 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 10692 attempts, .
[[35mlola[0m][.] 70 EF STEQ 172/179 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF SRCH 172/179 1/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 1075788 m, 3061 m/sec, 3667854 t fired, .
[[35mlola[0m][.] 90 EF FNDP 125/214 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 17880 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2388 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 70 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-07 (local timeout)
[[35mlola[0m][W] CANCELED task # 71 (type SRCH) for CANConstruction-PT-090-ReachabilityCardinality-2024-07 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 3 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 177/289 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 10836 attempts, .
[[35mlola[0m][.] 90 EF FNDP 130/209 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 18473 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2393 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 94 (type SKEL/FNDP) for 30 CANConstruction-PT-090-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 95 (type SKEL/EQUN) for 30 CANConstruction-PT-090-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 94 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-10
[[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][W] CANCELED task # 95 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-10 (obsolete)
[[35mlola[0m][I] LAUNCH task # 98 (type SKEL/FNDP) for 45 CANConstruction-PT-090-ReachabilityCardinality-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 99 (type SKEL/EQUN) for 45 CANConstruction-PT-090-ReachabilityCardinality-2024-15
[[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][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 1 2 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 182/515 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 10986 attempts, .
[[35mlola[0m][.] 90 EF FNDP 135/538 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 19027 attempts, .
[[35mlola[0m][.] 98 EF FNDP 5/402 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 530 attempts, .
[[35mlola[0m][.] 99 EF STEQ 5/402 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2398 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 1 2 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 187/510 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 11138 attempts, .
[[35mlola[0m][.] 90 EF FNDP 140/533 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 19547 attempts, .
[[35mlola[0m][.] 98 EF FNDP 10/397 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 969 attempts, .
[[35mlola[0m][.] 99 EF STEQ 10/397 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2403 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 1 2 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 192/505 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 11284 attempts, .
[[35mlola[0m][.] 90 EF FNDP 145/528 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 20059 attempts, .
[[35mlola[0m][.] 98 EF FNDP 15/392 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 1349 attempts, .
[[35mlola[0m][.] 99 EF STEQ 15/392 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2408 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 1 2 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 197/500 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 11446 attempts, .
[[35mlola[0m][.] 90 EF FNDP 150/523 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 20550 attempts, .
[[35mlola[0m][.] 98 EF FNDP 20/387 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 1721 attempts, .
[[35mlola[0m][.] 99 EF STEQ 20/387 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2413 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 3 0 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 2 1 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-15: EF 0 1 2 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 202/495 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 11604 attempts, .
[[35mlola[0m][.] 90 EF FNDP 155/518 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 21027 attempts, .
[[35mlola[0m][.] 98 EF FNDP 25/382 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 2123 attempts, .
[[35mlola[0m][.] 99 EF STEQ 25/382 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-15 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2418 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 99 (type SKEL/EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 98 (type FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-15 (obsolete)
[[35mlola[0m][I] LAUNCH task # 107 (type SKEL/FNDP) for 24 CANConstruction-PT-090-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 108 (type SKEL/EQUN) for 24 CANConstruction-PT-090-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 98 (type SKEL/FNDP) for CANConstruction-PT-090-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 2378
[[35mlola[0m][I] time used : 29
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 107 (type SKEL/FNDP) for CANConstruction-PT-090-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][W] CANCELED task # 108 (type EQUN) for CANConstruction-PT-090-ReachabilityCardinality-2024-08 (obsolete)
[[35mlola[0m][I] LAUNCH task # 91 (type SKEL/EQUN) for 33 CANConstruction-PT-090-ReachabilityCardinality-2023-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 92 (type SKEL/SRCH) for 33 CANConstruction-PT-090-ReachabilityCardinality-2023-11
[[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][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 207/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 11821 attempts, .
[[35mlola[0m][.] 90 EF FNDP 160/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 21545 attempts, .
[[35mlola[0m][.] 91 EF STEQ 1/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 1/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 8892 m, 1778 m/sec, 33193 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2423 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 212/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 12097 attempts, .
[[35mlola[0m][.] 90 EF FNDP 165/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 22096 attempts, .
[[35mlola[0m][.] 91 EF STEQ 6/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 6/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 40522 m, 6326 m/sec, 154429 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2428 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 217/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 12339 attempts, .
[[35mlola[0m][.] 90 EF FNDP 170/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 22601 attempts, .
[[35mlola[0m][.] 91 EF STEQ 11/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 11/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 59990 m, 3893 m/sec, 293688 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2433 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 222/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 12591 attempts, .
[[35mlola[0m][.] 90 EF FNDP 175/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 23098 attempts, .
[[35mlola[0m][.] 91 EF STEQ 16/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 16/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 88792 m, 5760 m/sec, 428172 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2438 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 227/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 12793 attempts, .
[[35mlola[0m][.] 90 EF FNDP 180/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 23594 attempts, .
[[35mlola[0m][.] 91 EF STEQ 21/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 21/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 101576 m, 2556 m/sec, 544055 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2443 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 232/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 12926 attempts, .
[[35mlola[0m][.] 90 EF FNDP 185/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 24065 attempts, .
[[35mlola[0m][.] 91 EF STEQ 26/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 26/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 120035 m, 3691 m/sec, 613989 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2448 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 237/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 13027 attempts, .
[[35mlola[0m][.] 90 EF FNDP 190/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 24531 attempts, .
[[35mlola[0m][.] 91 EF STEQ 31/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 31/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 135301 m, 3053 m/sec, 683885 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2453 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] planning for CANConstruction-PT-090-ReachabilityCardinality-2024-15 stopped (result already fixed).
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 242/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 13170 attempts, .
[[35mlola[0m][.] 90 EF FNDP 195/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 25021 attempts, .
[[35mlola[0m][.] 91 EF STEQ 36/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 36/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 149413 m, 2822 m/sec, 760054 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2458 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 247/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 13688 attempts, .
[[35mlola[0m][.] 90 EF FNDP 200/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 25685 attempts, .
[[35mlola[0m][.] 91 EF STEQ 41/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 41/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 181272 m, 6371 m/sec, 945535 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2463 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 252/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 14291 attempts, .
[[35mlola[0m][.] 90 EF FNDP 205/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 26652 attempts, .
[[35mlola[0m][.] 91 EF STEQ 46/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 46/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 212776 m, 6300 m/sec, 1106297 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2468 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 257/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 14659 attempts, .
[[35mlola[0m][.] 90 EF FNDP 210/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 27848 attempts, .
[[35mlola[0m][.] 91 EF STEQ 51/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 51/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 241181 m, 5681 m/sec, 1244472 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2473 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 262/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 14997 attempts, .
[[35mlola[0m][.] 90 EF FNDP 215/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 28624 attempts, .
[[35mlola[0m][.] 91 EF STEQ 56/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 56/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 281046 m, 7973 m/sec, 1496782 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2478 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 267/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 15306 attempts, .
[[35mlola[0m][.] 90 EF FNDP 220/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 29337 attempts, .
[[35mlola[0m][.] 91 EF STEQ 61/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 61/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 333943 m, 10579 m/sec, 1773438 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2483 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mCANConstruction-PT-090-ReachabilityCardinality-2024-00: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCANConstruction-PT-090-ReachabilityCardinality-2024-15: EF false skeleton: state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-01: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-03: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-04: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-05: AG 0 0 0 0 2 0 0 1
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-06: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-07: EF 0 0 1 0 0 2 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-10: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2023-11: AG 0 0 3 0 0 0 0 0
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 2
[[35mlola[0m][.] CANConstruction-PT-090-ReachabilityCardinality-2024-14: EF 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 272/1384 0/5 CANConstruction-PT-090-ReachabilityCardinality-2024-07 15885 attempts, .
[[35mlola[0m][.] 90 EF FNDP 225/1337 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 30377 attempts, .
[[35mlola[0m][.] 91 EF STEQ 66/1178 0/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 sara not yet started (preprocessing).
[[35mlola[0m][.] 92 EF SRCH 66/1178 1/5 CANConstruction-PT-090-ReachabilityCardinality-2023-11 361044 m, 5420 m/sec, 1947707 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 2488 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 405 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="CANConstruction-PT-090"
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 CANConstruction-PT-090, 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-171620506400078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-090.tgz
mv CANConstruction-PT-090 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 '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;