About the Execution of LoLA for ASLink-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2767.243 | 1553529.00 | 2425288.00 | 3928.80 | FTT?FTTTT?FTTTTT | 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.r005-smll-171620118600086.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 ASLink-PT-05b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-171620118600086
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K 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.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 19 15:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 17:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.4K May 19 07:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 19 15:22 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 795K 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 ASLink-PT-05b-ReachabilityCardinality-2024-00
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-01
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-02
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2023-03
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-04
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-05
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-06
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-07
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-08
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-09
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-10
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-11
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-12
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-13
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-14
FORMULA_NAME ASLink-PT-05b-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717075077945
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityCardinality-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717076631474
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityCardinality.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 37 (type CNST) for 36 ASLink-PT-05b-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 37 (type CNST) for ASLink-PT-05b-ReachabilityCardinality-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 22 (type CNST) for 21 ASLink-PT-05b-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 25 (type CNST) for 24 ASLink-PT-05b-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 22 (type CNST) for ASLink-PT-05b-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 25 (type CNST) for ASLink-PT-05b-ReachabilityCardinality-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 6 ASLink-PT-05b-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 194 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 6 ASLink-PT-05b-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 6 ASLink-PT-05b-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 39 ASLink-PT-05b-ReachabilityCardinality-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for ASLink-PT-05b-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 # 62 (type FNDP) for 18 ASLink-PT-05b-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for ASLink-PT-05b-ReachabilityCardinality-2024-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 47
[[35mlola[0m][I] fired transitions : 46
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-02 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for ASLink-PT-05b-ReachabilityCardinality-2024-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 84 (type EXCL) for 45 ASLink-PT-05b-ReachabilityCardinality-2024-15
[[35mlola[0m][I] time limit : 212 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 9 ASLink-PT-05b-ReachabilityCardinality-2023-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 69 (type EQUN) for 9 ASLink-PT-05b-ReachabilityCardinality-2023-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for ASLink-PT-05b-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][I] FINISHED task # 84 (type EXCL) for ASLink-PT-05b-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 105
[[35mlola[0m][I] fired transitions : 104
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 86 (type EXCL) for 15 ASLink-PT-05b-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 233 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 62 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 59 (type FNDP) for 12 ASLink-PT-05b-ReachabilityCardinality-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 59 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-04
[[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 FNDP) for 30 ASLink-PT-05b-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 55 (type FNDP) for ASLink-PT-05b-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][I] LAUNCH task # 71 (type FNDP) for 27 ASLink-PT-05b-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for ASLink-PT-05b-ReachabilityCardinality-2024-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 3/582 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 736 attempts, .
[[35mlola[0m][.] 69 EF STEQ 3/466 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 2/466 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 8456 attempts, .
[[35mlola[0m][.] 86 EF EXCL 2/333 1/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 54260 m, 10852 m/sec, 57940 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1268 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[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 8/580 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 1889 attempts, .
[[35mlola[0m][.] 69 EF STEQ 8/464 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 7/464 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 29136 attempts, .
[[35mlola[0m][.] 86 EF EXCL 7/333 2/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 214080 m, 31964 m/sec, 247698 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1273 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 13/575 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 3436 attempts, .
[[35mlola[0m][.] 69 EF STEQ 13/459 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 12/459 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 45735 attempts, .
[[35mlola[0m][.] 86 EF EXCL 12/333 2/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 364373 m, 30058 m/sec, 422556 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1278 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 18/570 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 5373 attempts, .
[[35mlola[0m][.] 69 EF STEQ 18/454 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 17/454 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 55717 attempts, .
[[35mlola[0m][.] 86 EF EXCL 17/333 3/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 566604 m, 40446 m/sec, 636670 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1283 secs. Pages in use: 3
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 23/565 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 7312 attempts, .
[[35mlola[0m][.] 69 EF STEQ 23/449 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 22/449 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 65983 attempts, .
[[35mlola[0m][.] 86 EF EXCL 22/333 5/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 770724 m, 40824 m/sec, 853375 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1288 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 28/560 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 8760 attempts, .
[[35mlola[0m][.] 69 EF STEQ 28/444 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 27/444 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 79751 attempts, .
[[35mlola[0m][.] 86 EF EXCL 27/333 6/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 956332 m, 37121 m/sec, 1055754 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1293 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 33/555 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 9839 attempts, .
[[35mlola[0m][.] 69 EF STEQ 33/439 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 32/439 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 90196 attempts, .
[[35mlola[0m][.] 86 EF EXCL 32/333 7/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 1144767 m, 37687 m/sec, 1258241 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1298 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 38/550 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 10870 attempts, .
[[35mlola[0m][.] 69 EF STEQ 38/434 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 37/434 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 100830 attempts, .
[[35mlola[0m][.] 86 EF EXCL 37/333 7/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 1331457 m, 37338 m/sec, 1460636 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1303 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 43/545 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 12044 attempts, .
[[35mlola[0m][.] 69 EF STEQ 43/429 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 42/429 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 113276 attempts, .
[[35mlola[0m][.] 86 EF EXCL 42/333 8/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 1519217 m, 37552 m/sec, 1664928 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1308 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 48/540 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 13569 attempts, .
[[35mlola[0m][.] 69 EF STEQ 48/424 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 47/424 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 130457 attempts, .
[[35mlola[0m][.] 86 EF EXCL 47/333 9/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 1705612 m, 37279 m/sec, 1866041 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1313 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 53/535 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 16150 attempts, .
[[35mlola[0m][.] 69 EF STEQ 53/419 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 52/419 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 146569 attempts, .
[[35mlola[0m][.] 86 EF EXCL 52/333 10/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 1893506 m, 37578 m/sec, 2070906 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1318 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 58/530 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 18601 attempts, .
[[35mlola[0m][.] 69 EF STEQ 58/414 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 57/414 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 163639 attempts, .
[[35mlola[0m][.] 86 EF EXCL 57/333 11/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 2083532 m, 38005 m/sec, 2277085 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1323 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 63/525 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 19915 attempts, .
[[35mlola[0m][.] 69 EF STEQ 63/409 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 62/409 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 180353 attempts, .
[[35mlola[0m][.] 86 EF EXCL 62/333 12/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 2281403 m, 39574 m/sec, 2493395 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1328 secs. Pages in use: 12
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 68/520 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 21019 attempts, .
[[35mlola[0m][.] 69 EF STEQ 68/404 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 67/404 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 191016 attempts, .
[[35mlola[0m][.] 86 EF EXCL 67/333 13/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 2485162 m, 40751 m/sec, 2710712 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1333 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 73/515 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 22419 attempts, .
[[35mlola[0m][.] 69 EF STEQ 73/399 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 72/399 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 205774 attempts, .
[[35mlola[0m][.] 86 EF EXCL 72/333 14/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 2686480 m, 40263 m/sec, 2930612 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1338 secs. Pages in use: 14
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 78/510 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 24387 attempts, .
[[35mlola[0m][.] 69 EF STEQ 78/394 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 77/394 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 215955 attempts, .
[[35mlola[0m][.] 86 EF EXCL 77/333 15/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 2889662 m, 40636 m/sec, 3147886 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1343 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 83/505 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 25743 attempts, .
[[35mlola[0m][.] 69 EF STEQ 83/389 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 82/389 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 229743 attempts, .
[[35mlola[0m][.] 86 EF EXCL 82/333 16/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 3088750 m, 39817 m/sec, 3367184 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1348 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 88/500 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 27390 attempts, .
[[35mlola[0m][.] 69 EF STEQ 88/384 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 87/384 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 243226 attempts, .
[[35mlola[0m][.] 86 EF EXCL 87/333 17/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 3288350 m, 39920 m/sec, 3590533 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1353 secs. Pages in use: 17
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 93/495 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 29132 attempts, .
[[35mlola[0m][.] 69 EF STEQ 93/379 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 92/379 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 256826 attempts, .
[[35mlola[0m][.] 86 EF EXCL 92/333 18/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 3488412 m, 40012 m/sec, 3812736 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1358 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 98/490 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 31183 attempts, .
[[35mlola[0m][.] 69 EF STEQ 98/374 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 97/374 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 274773 attempts, .
[[35mlola[0m][.] 86 EF EXCL 97/333 19/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 3679249 m, 38167 m/sec, 4027629 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1363 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 103/485 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 33478 attempts, .
[[35mlola[0m][.] 69 EF STEQ 103/369 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 102/369 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 294830 attempts, .
[[35mlola[0m][.] 86 EF EXCL 102/333 19/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 3866909 m, 37532 m/sec, 4243820 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1368 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 108/480 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 35794 attempts, .
[[35mlola[0m][.] 69 EF STEQ 108/364 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 107/364 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 315751 attempts, .
[[35mlola[0m][.] 86 EF EXCL 107/333 20/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 4054910 m, 37600 m/sec, 4459418 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1373 secs. Pages in use: 20
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 113/475 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 38075 attempts, .
[[35mlola[0m][.] 69 EF STEQ 113/359 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 112/359 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 336234 attempts, .
[[35mlola[0m][.] 86 EF EXCL 112/333 21/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 4243353 m, 37688 m/sec, 4672073 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1378 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 118/470 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 40352 attempts, .
[[35mlola[0m][.] 69 EF STEQ 118/354 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 117/354 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 356718 attempts, .
[[35mlola[0m][.] 86 EF EXCL 117/333 22/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 4431931 m, 37715 m/sec, 4887647 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1383 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 123/465 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 42731 attempts, .
[[35mlola[0m][.] 69 EF STEQ 123/349 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 122/349 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 377344 attempts, .
[[35mlola[0m][.] 86 EF EXCL 122/333 23/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 4624723 m, 38558 m/sec, 5096466 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1388 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 128/460 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 45163 attempts, .
[[35mlola[0m][.] 69 EF STEQ 128/344 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 127/344 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 398435 attempts, .
[[35mlola[0m][.] 86 EF EXCL 127/333 24/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 4814400 m, 37935 m/sec, 5301001 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1393 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 133/455 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 47579 attempts, .
[[35mlola[0m][.] 69 EF STEQ 133/339 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 132/339 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 418922 attempts, .
[[35mlola[0m][.] 86 EF EXCL 132/333 25/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 5004592 m, 38038 m/sec, 5510389 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1398 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 138/450 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 49936 attempts, .
[[35mlola[0m][.] 69 EF STEQ 138/334 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 137/334 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 440088 attempts, .
[[35mlola[0m][.] 86 EF EXCL 137/333 25/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 5192445 m, 37570 m/sec, 5729521 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1403 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 143/445 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 52266 attempts, .
[[35mlola[0m][.] 69 EF STEQ 143/329 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 142/329 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 461035 attempts, .
[[35mlola[0m][.] 86 EF EXCL 142/333 26/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 5380367 m, 37584 m/sec, 5950208 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1408 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 148/440 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 54924 attempts, .
[[35mlola[0m][.] 69 EF STEQ 148/324 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 147/324 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 481834 attempts, .
[[35mlola[0m][.] 86 EF EXCL 147/333 27/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 5568916 m, 37709 m/sec, 6168283 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1413 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 153/435 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 57282 attempts, .
[[35mlola[0m][.] 69 EF STEQ 153/319 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 152/319 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 502902 attempts, .
[[35mlola[0m][.] 86 EF EXCL 152/333 27/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 5756246 m, 37466 m/sec, 6387788 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1418 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 158/430 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 59679 attempts, .
[[35mlola[0m][.] 69 EF STEQ 158/314 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 157/314 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 524296 attempts, .
[[35mlola[0m][.] 86 EF EXCL 157/333 28/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 5945843 m, 37919 m/sec, 6601949 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1423 secs. Pages in use: 28
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 163/425 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 62073 attempts, .
[[35mlola[0m][.] 69 EF STEQ 163/309 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 162/309 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 545672 attempts, .
[[35mlola[0m][.] 86 EF EXCL 162/333 29/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 6133735 m, 37578 m/sec, 6812456 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1428 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 168/420 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 64466 attempts, .
[[35mlola[0m][.] 69 EF STEQ 168/304 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 167/304 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 566982 attempts, .
[[35mlola[0m][.] 86 EF EXCL 167/333 30/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 6320722 m, 37397 m/sec, 7025737 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1433 secs. Pages in use: 30
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 173/415 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 66807 attempts, .
[[35mlola[0m][.] 69 EF STEQ 173/299 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 172/299 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 587929 attempts, .
[[35mlola[0m][.] 86 EF EXCL 172/333 31/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 6509373 m, 37730 m/sec, 7235949 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1438 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 178/410 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 69202 attempts, .
[[35mlola[0m][.] 69 EF STEQ 178/294 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 177/294 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 609351 attempts, .
[[35mlola[0m][.] 86 EF EXCL 177/333 32/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 6695335 m, 37192 m/sec, 7452576 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1443 secs. Pages in use: 32
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 183/405 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 71597 attempts, .
[[35mlola[0m][.] 69 EF STEQ 183/289 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 182/289 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 631196 attempts, .
[[35mlola[0m][.] 86 EF EXCL 182/333 33/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 6883660 m, 37665 m/sec, 7663091 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1448 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 188/400 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 74004 attempts, .
[[35mlola[0m][.] 69 EF STEQ 188/284 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 187/284 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 652614 attempts, .
[[35mlola[0m][.] 86 EF EXCL 187/333 34/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 7073363 m, 37940 m/sec, 7876097 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1453 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 193/395 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 76446 attempts, .
[[35mlola[0m][.] 69 EF STEQ 193/279 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 192/279 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 673947 attempts, .
[[35mlola[0m][.] 86 EF EXCL 192/333 35/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 7264528 m, 38233 m/sec, 8081683 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1458 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 198/390 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 78760 attempts, .
[[35mlola[0m][.] 69 EF STEQ 198/274 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 197/274 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 695121 attempts, .
[[35mlola[0m][.] 86 EF EXCL 197/333 35/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 7452668 m, 37628 m/sec, 8284946 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1463 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 203/385 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 81405 attempts, .
[[35mlola[0m][.] 69 EF STEQ 203/269 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 202/269 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 716378 attempts, .
[[35mlola[0m][.] 86 EF EXCL 202/333 36/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 7639103 m, 37287 m/sec, 8486186 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1468 secs. Pages in use: 36
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 208/380 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 83786 attempts, .
[[35mlola[0m][.] 69 EF STEQ 208/264 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 207/264 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 737690 attempts, .
[[35mlola[0m][.] 86 EF EXCL 207/333 37/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 7825902 m, 37359 m/sec, 8689071 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1473 secs. Pages in use: 37
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 213/375 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 86288 attempts, .
[[35mlola[0m][.] 69 EF STEQ 213/259 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 212/259 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 759206 attempts, .
[[35mlola[0m][.] 86 EF EXCL 212/333 37/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 8013274 m, 37474 m/sec, 8892567 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1478 secs. Pages in use: 37
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 218/370 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 88618 attempts, .
[[35mlola[0m][.] 69 EF STEQ 218/254 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 217/254 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 780308 attempts, .
[[35mlola[0m][.] 86 EF EXCL 217/333 38/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 8201222 m, 37589 m/sec, 9104664 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1483 secs. Pages in use: 38
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 223/365 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 91055 attempts, .
[[35mlola[0m][.] 69 EF STEQ 223/249 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 222/249 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 801318 attempts, .
[[35mlola[0m][.] 86 EF EXCL 222/333 39/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 8387698 m, 37295 m/sec, 9321274 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1488 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 228/360 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 93493 attempts, .
[[35mlola[0m][.] 69 EF STEQ 228/244 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 227/244 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 822417 attempts, .
[[35mlola[0m][.] 86 EF EXCL 227/333 39/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 8572192 m, 36898 m/sec, 9537205 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1493 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 233/355 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 95838 attempts, .
[[35mlola[0m][.] 69 EF STEQ 233/239 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 71 EF FNDP 232/239 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 844037 attempts, .
[[35mlola[0m][.] 86 EF EXCL 232/333 40/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 8757087 m, 36979 m/sec, 9752805 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1498 secs. Pages in use: 40
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 69 (type EQUN) for ASLink-PT-05b-ReachabilityCardinality-2023-03 (local timeout)
[[35mlola[0m][W] CANCELED task # 71 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-09 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-01: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 1 0 1 1 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 2 0 0 1 1 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 238/350 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 98307 attempts, .
[[35mlola[0m][.] 86 EF EXCL 237/333 41/2000 ASLink-PT-05b-ReachabilityCardinality-2024-05 8942934 m, 37169 m/sec, 9968536 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1503 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 0 ASLink-PT-05b-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 89 (type EQUN) for 0 ASLink-PT-05b-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 71 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 865417
[[35mlola[0m][I] time used : 237
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 75 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 26
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 89 (type EQUN) for ASLink-PT-05b-ReachabilityCardinality-2024-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 65 (type FNDP) for 42 ASLink-PT-05b-ReachabilityCardinality-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 3 ASLink-PT-05b-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 65 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-14
[[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 # 67 (type FNDP) for 33 ASLink-PT-05b-ReachabilityCardinality-2024-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 66 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 5
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 82 (type EQUN) for 27 ASLink-PT-05b-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 89 (type EQUN) for ASLink-PT-05b-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 67 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 63
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 80 (type FNDP) for 15 ASLink-PT-05b-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 80 (type FNDP) for ASLink-PT-05b-ReachabilityCardinality-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 74
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 86 (type EXCL) for ASLink-PT-05b-ReachabilityCardinality-2024-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 88 (type EXCL) for 27 ASLink-PT-05b-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 1048 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 69 (type EQUN) for 9 ASLink-PT-05b-ReachabilityCardinality-2023-03
[[35mlola[0m][I] time limit : 2097 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 243/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 100267 attempts, .
[[35mlola[0m][.] 69 EF STEQ 5/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 82 EF STEQ 5/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 5/1048 2/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 244585 m, 48917 m/sec, 244585 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1508 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 248/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 102278 attempts, .
[[35mlola[0m][.] 69 EF STEQ 10/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 82 EF STEQ 10/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 10/1048 3/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 500865 m, 51256 m/sec, 540302 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1513 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 253/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 104245 attempts, .
[[35mlola[0m][.] 69 EF STEQ 15/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 82 EF STEQ 15/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2024-09 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 15/1048 5/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 766187 m, 53064 m/sec, 844919 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1518 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 82 (type EQUN) for ASLink-PT-05b-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 258/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 106906 attempts, .
[[35mlola[0m][.] 69 EF STEQ 20/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 20/1048 7/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 1068684 m, 60499 m/sec, 1178440 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1523 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 263/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 109341 attempts, .
[[35mlola[0m][.] 69 EF STEQ 25/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 25/1048 8/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 1387639 m, 63791 m/sec, 1539708 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1528 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 268/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 111807 attempts, .
[[35mlola[0m][.] 69 EF STEQ 30/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 30/1048 10/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 1704088 m, 63289 m/sec, 1892815 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1533 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 273/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 114259 attempts, .
[[35mlola[0m][.] 69 EF STEQ 35/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 35/1048 11/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 2024772 m, 64136 m/sec, 2251895 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1538 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 278/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 116725 attempts, .
[[35mlola[0m][.] 69 EF STEQ 40/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 40/1048 13/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 2337554 m, 62556 m/sec, 2605246 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1543 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 283/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 119202 attempts, .
[[35mlola[0m][.] 69 EF STEQ 45/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 45/1048 15/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 2655043 m, 63497 m/sec, 2958405 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1548 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-01: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-04: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityCardinality-2024-10: AG false findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-13: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-14: EF true findpath[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityCardinality-2024-15: EF true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2023-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityCardinality-2024-09: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 288/2335 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 121693 attempts, .
[[35mlola[0m][.] 69 EF STEQ 50/2097 0/5 ASLink-PT-05b-ReachabilityCardinality-2023-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 88 EF EXCL 50/1048 17/2000 ASLink-PT-05b-ReachabilityCardinality-2024-09 2966302 m, 62251 m/sec, 3311174 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 1553 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 397 Segmentation fault $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="ASLink-PT-05b"
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 ASLink-PT-05b, 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 r005-smll-171620118600086"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05b.tgz
mv ASLink-PT-05b execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;