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

About the Execution of LoLA for FunctionPointer-PT-a128

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9878.415 464802.00 1787006.00 110.20 TFFTFFFFTFFFTTFT 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.r181-tall-171640604800215.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 FunctionPointer-PT-a128, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-tall-171640604800215
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 8.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 22 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 22 14:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Apr 11 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Apr 11 16:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 19 15:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 34K 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 FunctionPointer-PT-a128-ReachabilityFireability-2024-00
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-01
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-02
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-03
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-04
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-05
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-06
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-07
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-08
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-09
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-10
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-11
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-12
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-13
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-14
FORMULA_NAME FunctionPointer-PT-a128-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717030124126

FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG true state equation
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF false state equation
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF false state equation
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF false state equation
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG false findpath
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG true state equation
[lola]
[lola] Time elapsed: 464 secs. Pages in use: 423

BK_STOP 1717030588928

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from ReachabilityFireability.xml
[lola][I] Rule S: 4 transitions removed,6 places removed
[lola][I] LAUNCH task # 7 (type CNST) for 6 FunctionPointer-PT-a128-ReachabilityFireability-2024-02
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 31 (type CNST) for 30 FunctionPointer-PT-a128-ReachabilityFireability-2024-10
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 31 (type CNST) for FunctionPointer-PT-a128-ReachabilityFireability-2024-10
[lola][I] result : false
[lola][I] FINISHED task # 7 (type CNST) for FunctionPointer-PT-a128-ReachabilityFireability-2024-02
[lola][I] result : false
[lola][I] LAUNCH task # 43 (type CNST) for 42 FunctionPointer-PT-a128-ReachabilityFireability-2024-14
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 43 (type CNST) for FunctionPointer-PT-a128-ReachabilityFireability-2024-14
[lola][I] result : false
[lola][I] LAUNCH task # 50 (type EXCL) for 9 FunctionPointer-PT-a128-ReachabilityFireability-2024-03
[lola][I] time limit : 276 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 24 FunctionPointer-PT-a128-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 24 FunctionPointer-PT-a128-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 9 FunctionPointer-PT-a128-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 34 (type CNST) for 33 FunctionPointer-PT-a128-ReachabilityFireability-2024-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 34 (type CNST) for FunctionPointer-PT-a128-ReachabilityFireability-2024-11
[lola][I] result : false
[lola][I] FINISHED task # 50 (type EXCL) for FunctionPointer-PT-a128-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] markings : 2063
[lola][I] fired transitions : 2062
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 48 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-03 (obsolete)
[lola][I] LAUNCH task # 88 (type EXCL) for 39 FunctionPointer-PT-a128-ReachabilityFireability-2024-13
[lola][I] time limit : 327 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 68 (type FNDP) for 12 FunctionPointer-PT-a128-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 88 (type EXCL) for FunctionPointer-PT-a128-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] markings : 2063
[lola][I] fired transitions : 2062
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 81 (type EXCL) for 36 FunctionPointer-PT-a128-ReachabilityFireability-2024-12
[lola][I] time limit : 360 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 48 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 81 (type EXCL) for FunctionPointer-PT-a128-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] markings : 2063
[lola][I] fired transitions : 2062
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 72 (type EXCL) for 21 FunctionPointer-PT-a128-ReachabilityFireability-2024-07
[lola][I] time limit : 400 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 72 (type EXCL) for FunctionPointer-PT-a128-ReachabilityFireability-2024-07
[lola][I] result : true
[lola][I] markings : 2063
[lola][I] fired transitions : 2062
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 83 (type EXCL) for 15 FunctionPointer-PT-a128-ReachabilityFireability-2024-05
[lola][I] time limit : 450 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 52 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-08
[lola][I] result : unknown
[lola][I] LAUNCH task # 77 (type FNDP) for 3 FunctionPointer-PT-a128-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 77 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-01
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 66 (type FNDP) for 18 FunctionPointer-PT-a128-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 5/719 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-08 15417 attempts, .
[lola][.] 66 EF FNDP 4/899 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1047 attempts, .
[lola][.] 68 EF FNDP 5/899 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 896 attempts, .
[lola][.] 83 EF EXCL 5/514 8/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 2249056 m, 449811 m/sec, 3013557 t fired, .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 51 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] tried executions : 27415
[lola][I] time used : 8
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 59 (type FNDP) for 0 FunctionPointer-PT-a128-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 2/898 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 357 attempts, .
[lola][.] 66 EF FNDP 9/892 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 4971 attempts, .
[lola][.] 68 EF FNDP 10/892 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 4368 attempts, .
[lola][.] 83 EF EXCL 10/600 15/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 4168744 m, 383937 m/sec, 5791714 t fired, .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 7/896 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 1854 attempts, .
[lola][.] 66 EF FNDP 14/890 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 16916 attempts, .
[lola][.] 68 EF FNDP 15/890 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 14255 attempts, .
[lola][.] 83 EF EXCL 15/600 21/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 6022624 m, 370776 m/sec, 8497269 t fired, .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 12/891 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 3949 attempts, .
[lola][.] 66 EF FNDP 19/885 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 26760 attempts, .
[lola][.] 68 EF FNDP 20/885 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 23175 attempts, .
[lola][.] 83 EF EXCL 20/600 27/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 7847242 m, 364923 m/sec, 11163584 t fired, .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 17/886 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 6583 attempts, .
[lola][.] 66 EF FNDP 24/880 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 36922 attempts, .
[lola][.] 68 EF FNDP 25/880 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 33282 attempts, .
[lola][.] 83 EF EXCL 25/600 33/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 9669087 m, 364369 m/sec, 13839908 t fired, .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 33
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 22/881 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 10033 attempts, .
[lola][.] 66 EF FNDP 29/875 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 47274 attempts, .
[lola][.] 68 EF FNDP 30/875 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 42891 attempts, .
[lola][.] 83 EF EXCL 30/600 39/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 11465074 m, 359197 m/sec, 16494810 t fired, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 39
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 27/876 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 14369 attempts, .
[lola][.] 66 EF FNDP 34/870 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 57453 attempts, .
[lola][.] 68 EF FNDP 35/870 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 52449 attempts, .
[lola][.] 83 EF EXCL 35/600 45/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 13250651 m, 357115 m/sec, 19130597 t fired, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 45
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 32/871 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 19363 attempts, .
[lola][.] 66 EF FNDP 39/865 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 67702 attempts, .
[lola][.] 68 EF FNDP 40/865 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 61721 attempts, .
[lola][.] 83 EF EXCL 40/600 51/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 14998434 m, 349556 m/sec, 21717154 t fired, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 51
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 37/866 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 25289 attempts, .
[lola][.] 66 EF FNDP 44/860 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 78025 attempts, .
[lola][.] 68 EF FNDP 45/860 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 70969 attempts, .
[lola][.] 83 EF EXCL 45/600 57/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 16769961 m, 354305 m/sec, 24350352 t fired, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 57
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 42/861 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 31078 attempts, .
[lola][.] 66 EF FNDP 49/855 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 93304 attempts, .
[lola][.] 68 EF FNDP 50/855 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 80455 attempts, .
[lola][.] 83 EF EXCL 50/600 63/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 18537406 m, 353489 m/sec, 26994306 t fired, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 63
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 47/856 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 36753 attempts, .
[lola][.] 66 EF FNDP 54/850 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 112383 attempts, .
[lola][.] 68 EF FNDP 55/850 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 89643 attempts, .
[lola][.] 83 EF EXCL 55/600 69/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 20238723 m, 340263 m/sec, 29531952 t fired, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 69
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 52/851 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 42821 attempts, .
[lola][.] 66 EF FNDP 59/845 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 131609 attempts, .
[lola][.] 68 EF FNDP 60/845 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 99415 attempts, .
[lola][.] 83 EF EXCL 60/600 75/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 21984320 m, 349119 m/sec, 32127089 t fired, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 75
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 57/846 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 49501 attempts, .
[lola][.] 66 EF FNDP 64/840 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 142034 attempts, .
[lola][.] 68 EF FNDP 65/840 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 110128 attempts, .
[lola][.] 83 EF EXCL 65/600 81/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 23742963 m, 351728 m/sec, 34758910 t fired, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 81
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 62/841 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 57599 attempts, .
[lola][.] 66 EF FNDP 69/835 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 151502 attempts, .
[lola][.] 68 EF FNDP 70/835 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 119036 attempts, .
[lola][.] 83 EF EXCL 70/600 86/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 25446529 m, 340713 m/sec, 37318484 t fired, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 86
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 67/836 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 65732 attempts, .
[lola][.] 66 EF FNDP 74/830 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 160683 attempts, .
[lola][.] 68 EF FNDP 75/830 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 127841 attempts, .
[lola][.] 83 EF EXCL 75/600 92/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 27188275 m, 348349 m/sec, 39928353 t fired, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 92
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 72/831 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 72190 attempts, .
[lola][.] 66 EF FNDP 79/825 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 177194 attempts, .
[lola][.] 68 EF FNDP 80/825 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 138059 attempts, .
[lola][.] 83 EF EXCL 80/600 97/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 28526393 m, 267623 m/sec, 41946857 t fired, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 97
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 77/826 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 78704 attempts, .
[lola][.] 66 EF FNDP 84/820 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 195519 attempts, .
[lola][.] 68 EF FNDP 85/820 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 147632 attempts, .
[lola][.] 83 EF EXCL 85/600 102/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 30058228 m, 306367 m/sec, 44253341 t fired, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 102
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 82/821 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 85913 attempts, .
[lola][.] 66 EF FNDP 89/815 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 213032 attempts, .
[lola][.] 68 EF FNDP 90/815 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 156912 attempts, .
[lola][.] 83 EF EXCL 90/600 107/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 31695625 m, 327479 m/sec, 46707849 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 107
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 87/816 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 93305 attempts, .
[lola][.] 66 EF FNDP 94/810 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 231629 attempts, .
[lola][.] 68 EF FNDP 95/810 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 166397 attempts, .
[lola][.] 83 EF EXCL 95/600 113/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 33425668 m, 346008 m/sec, 49319901 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 113
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 92/811 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 100685 attempts, .
[lola][.] 66 EF FNDP 99/805 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 249594 attempts, .
[lola][.] 68 EF FNDP 100/805 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 176111 attempts, .
[lola][.] 83 EF EXCL 100/600 119/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 35159103 m, 346687 m/sec, 51938817 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 119
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 97/806 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 108000 attempts, .
[lola][.] 66 EF FNDP 104/800 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 267271 attempts, .
[lola][.] 68 EF FNDP 105/800 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 185300 attempts, .
[lola][.] 83 EF EXCL 105/600 125/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 36874627 m, 343104 m/sec, 54526788 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 125
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 102/801 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 115486 attempts, .
[lola][.] 66 EF FNDP 109/795 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 285015 attempts, .
[lola][.] 68 EF FNDP 110/795 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 194272 attempts, .
[lola][.] 83 EF EXCL 110/600 130/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 38472768 m, 319628 m/sec, 56950558 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 130
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 107/796 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 122757 attempts, .
[lola][.] 66 EF FNDP 114/790 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 303353 attempts, .
[lola][.] 68 EF FNDP 115/790 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 203449 attempts, .
[lola][.] 83 EF EXCL 115/600 136/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 40122143 m, 329875 m/sec, 59458502 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 136
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 112/791 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 129746 attempts, .
[lola][.] 66 EF FNDP 119/785 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 320665 attempts, .
[lola][.] 68 EF FNDP 120/785 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 212996 attempts, .
[lola][.] 83 EF EXCL 120/600 141/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 41585347 m, 292640 m/sec, 61685074 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 141
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 117/786 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 137143 attempts, .
[lola][.] 66 EF FNDP 124/780 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 338613 attempts, .
[lola][.] 68 EF FNDP 125/780 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 221827 attempts, .
[lola][.] 83 EF EXCL 125/600 146/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 43241222 m, 331175 m/sec, 64200640 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 146
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 122/781 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 144664 attempts, .
[lola][.] 66 EF FNDP 129/775 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 356017 attempts, .
[lola][.] 68 EF FNDP 130/775 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 230721 attempts, .
[lola][.] 83 EF EXCL 130/600 152/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 44784351 m, 308625 m/sec, 66547416 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 152
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 127/776 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 153465 attempts, .
[lola][.] 66 EF FNDP 134/770 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 372582 attempts, .
[lola][.] 68 EF FNDP 135/770 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 238555 attempts, .
[lola][.] 83 EF EXCL 135/600 156/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 46181495 m, 279428 m/sec, 68681588 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 156
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 132/771 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 160989 attempts, .
[lola][.] 66 EF FNDP 139/765 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 390440 attempts, .
[lola][.] 68 EF FNDP 140/765 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 247791 attempts, .
[lola][.] 83 EF EXCL 140/600 162/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 47798350 m, 323371 m/sec, 71155053 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 162
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 137/766 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 168579 attempts, .
[lola][.] 66 EF FNDP 144/760 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 408014 attempts, .
[lola][.] 68 EF FNDP 145/760 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 256947 attempts, .
[lola][.] 83 EF EXCL 145/600 167/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 49407006 m, 321731 m/sec, 73622603 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 167
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 142/761 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 177083 attempts, .
[lola][.] 66 EF FNDP 149/755 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 424580 attempts, .
[lola][.] 68 EF FNDP 150/755 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 265119 attempts, .
[lola][.] 83 EF EXCL 150/600 172/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 50792890 m, 277176 m/sec, 75742111 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 172
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 147/756 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 184676 attempts, .
[lola][.] 66 EF FNDP 154/750 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 442027 attempts, .
[lola][.] 68 EF FNDP 155/750 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 274269 attempts, .
[lola][.] 83 EF EXCL 155/600 177/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 52353401 m, 312102 m/sec, 78126152 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 177
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 152/751 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 192036 attempts, .
[lola][.] 66 EF FNDP 159/745 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 459524 attempts, .
[lola][.] 68 EF FNDP 160/745 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 283735 attempts, .
[lola][.] 83 EF EXCL 160/600 182/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 53885318 m, 306383 m/sec, 80483408 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 182
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 157/746 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 199788 attempts, .
[lola][.] 66 EF FNDP 164/740 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 477311 attempts, .
[lola][.] 68 EF FNDP 165/740 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 292828 attempts, .
[lola][.] 83 EF EXCL 165/600 188/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 55489727 m, 320881 m/sec, 82949102 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 188
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 162/741 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 207717 attempts, .
[lola][.] 66 EF FNDP 169/735 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 495192 attempts, .
[lola][.] 68 EF FNDP 170/735 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 301848 attempts, .
[lola][.] 83 EF EXCL 170/600 193/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 57088837 m, 319822 m/sec, 85412871 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 193
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 167/736 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 219088 attempts, .
[lola][.] 66 EF FNDP 174/730 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 510422 attempts, .
[lola][.] 68 EF FNDP 175/730 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 311493 attempts, .
[lola][.] 83 EF EXCL 175/600 197/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 58237035 m, 229639 m/sec, 87186490 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 197
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 172/731 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 229363 attempts, .
[lola][.] 66 EF FNDP 179/725 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 525808 attempts, .
[lola][.] 68 EF FNDP 180/725 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 322132 attempts, .
[lola][.] 83 EF EXCL 180/600 201/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 59472582 m, 247109 m/sec, 89088086 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 201
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 177/726 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 236649 attempts, .
[lola][.] 66 EF FNDP 184/720 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 535767 attempts, .
[lola][.] 68 EF FNDP 185/720 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 332099 attempts, .
[lola][.] 83 EF EXCL 185/600 206/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 60962213 m, 297926 m/sec, 91385076 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 206
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 182/721 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 246010 attempts, .
[lola][.] 66 EF FNDP 189/715 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 548463 attempts, .
[lola][.] 68 EF FNDP 190/715 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 341294 attempts, .
[lola][.] 83 EF EXCL 190/600 211/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 62326221 m, 272801 m/sec, 93488191 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 211
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 187/716 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 255610 attempts, .
[lola][.] 66 EF FNDP 194/710 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 559088 attempts, .
[lola][.] 68 EF FNDP 195/710 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 353973 attempts, .
[lola][.] 83 EF EXCL 195/600 215/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 63686913 m, 272138 m/sec, 95592295 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 215
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 192/711 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 264101 attempts, .
[lola][.] 66 EF FNDP 199/705 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 567220 attempts, .
[lola][.] 68 EF FNDP 200/705 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 367914 attempts, .
[lola][.] 83 EF EXCL 200/600 220/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 65147410 m, 292099 m/sec, 97861388 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 220
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 197/706 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 271720 attempts, .
[lola][.] 66 EF FNDP 204/700 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 576293 attempts, .
[lola][.] 68 EF FNDP 205/700 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 383095 attempts, .
[lola][.] 83 EF EXCL 205/600 225/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 66501613 m, 270840 m/sec, 99957365 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 225
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 202/701 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 279701 attempts, .
[lola][.] 66 EF FNDP 209/695 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 585252 attempts, .
[lola][.] 68 EF FNDP 210/695 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 398023 attempts, .
[lola][.] 83 EF EXCL 210/600 229/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 67835451 m, 266767 m/sec, 102018722 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 229
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 207/696 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 287467 attempts, .
[lola][.] 66 EF FNDP 214/690 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 594398 attempts, .
[lola][.] 68 EF FNDP 215/690 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 413394 attempts, .
[lola][.] 83 EF EXCL 215/600 234/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 69323542 m, 297618 m/sec, 104313295 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 234
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 212/691 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 295025 attempts, .
[lola][.] 66 EF FNDP 219/685 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 604231 attempts, .
[lola][.] 68 EF FNDP 220/685 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 427896 attempts, .
[lola][.] 83 EF EXCL 220/600 239/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 70726259 m, 280543 m/sec, 106492223 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 239
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 217/686 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 303847 attempts, .
[lola][.] 66 EF FNDP 224/680 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 612774 attempts, .
[lola][.] 68 EF FNDP 225/680 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 441431 attempts, .
[lola][.] 83 EF EXCL 225/600 245/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 72311355 m, 317019 m/sec, 108947972 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 245
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 222/681 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 313355 attempts, .
[lola][.] 66 EF FNDP 229/675 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 620425 attempts, .
[lola][.] 68 EF FNDP 230/675 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 449293 attempts, .
[lola][.] 83 EF EXCL 230/600 250/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 73894908 m, 316710 m/sec, 111404826 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 250
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 227/676 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 322797 attempts, .
[lola][.] 66 EF FNDP 234/670 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 628083 attempts, .
[lola][.] 68 EF FNDP 235/670 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 457162 attempts, .
[lola][.] 83 EF EXCL 235/600 255/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 75473651 m, 315748 m/sec, 113861139 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 255
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 232/671 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 332122 attempts, .
[lola][.] 66 EF FNDP 239/665 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 635805 attempts, .
[lola][.] 68 EF FNDP 240/665 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 469077 attempts, .
[lola][.] 83 EF EXCL 240/600 260/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 76849707 m, 275211 m/sec, 115996590 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 260
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 237/666 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 342921 attempts, .
[lola][.] 66 EF FNDP 244/660 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 644446 attempts, .
[lola][.] 68 EF FNDP 245/660 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 483056 attempts, .
[lola][.] 83 EF EXCL 245/600 265/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 78259727 m, 282004 m/sec, 118174107 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 265
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 242/661 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 354335 attempts, .
[lola][.] 66 EF FNDP 249/655 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 653390 attempts, .
[lola][.] 68 EF FNDP 250/655 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 494266 attempts, .
[lola][.] 83 EF EXCL 250/600 269/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 79550262 m, 258107 m/sec, 120163560 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 269
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 247/656 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 363520 attempts, .
[lola][.] 66 EF FNDP 254/650 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 664733 attempts, .
[lola][.] 68 EF FNDP 255/650 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 504929 attempts, .
[lola][.] 83 EF EXCL 255/600 274/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 80959979 m, 281943 m/sec, 122346323 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 274
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 252/651 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 372219 attempts, .
[lola][.] 66 EF FNDP 259/645 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 679764 attempts, .
[lola][.] 68 EF FNDP 260/645 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 512907 attempts, .
[lola][.] 83 EF EXCL 260/600 279/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 82496096 m, 307223 m/sec, 124733320 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 279
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 257/646 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 381096 attempts, .
[lola][.] 66 EF FNDP 264/640 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 692153 attempts, .
[lola][.] 68 EF FNDP 265/640 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 524884 attempts, .
[lola][.] 83 EF EXCL 265/600 284/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 83971256 m, 295032 m/sec, 127030582 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 284
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 262/641 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 391794 attempts, .
[lola][.] 66 EF FNDP 269/635 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 703425 attempts, .
[lola][.] 68 EF FNDP 270/635 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 541262 attempts, .
[lola][.] 83 EF EXCL 270/600 288/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 85162959 m, 238340 m/sec, 128887864 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 288
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 267/636 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 404703 attempts, .
[lola][.] 66 EF FNDP 274/630 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 718896 attempts, .
[lola][.] 68 EF FNDP 275/630 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 555011 attempts, .
[lola][.] 83 EF EXCL 275/600 291/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 86013960 m, 170200 m/sec, 130200004 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 291
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 272/631 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 417947 attempts, .
[lola][.] 66 EF FNDP 279/625 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 733801 attempts, .
[lola][.] 68 EF FNDP 280/625 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 569852 attempts, .
[lola][.] 83 EF EXCL 280/600 294/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 86853450 m, 167898 m/sec, 131509647 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 294
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 277/626 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 431838 attempts, .
[lola][.] 66 EF FNDP 284/620 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 748204 attempts, .
[lola][.] 68 EF FNDP 285/620 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 584623 attempts, .
[lola][.] 83 EF EXCL 285/600 297/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 87738258 m, 176961 m/sec, 132874275 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 297
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 282/621 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 445036 attempts, .
[lola][.] 66 EF FNDP 289/615 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 763435 attempts, .
[lola][.] 68 EF FNDP 290/615 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 597324 attempts, .
[lola][.] 83 EF EXCL 290/600 299/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 88483716 m, 149091 m/sec, 134038375 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 299
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 287/616 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 459537 attempts, .
[lola][.] 66 EF FNDP 294/610 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 776331 attempts, .
[lola][.] 68 EF FNDP 295/610 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 612152 attempts, .
[lola][.] 83 EF EXCL 295/600 302/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 89337401 m, 170737 m/sec, 135363865 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 302
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 292/611 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 471604 attempts, .
[lola][.] 66 EF FNDP 299/605 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 792562 attempts, .
[lola][.] 68 EF FNDP 300/605 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 628195 attempts, .
[lola][.] 83 EF EXCL 300/600 305/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 90177441 m, 168008 m/sec, 136670730 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 305
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 297/606 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 485491 attempts, .
[lola][.] 66 EF FNDP 304/600 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 808514 attempts, .
[lola][.] 68 EF FNDP 305/600 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 641359 attempts, .
[lola][.] 83 EF EXCL 305/600 308/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 91022170 m, 168945 m/sec, 137994978 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 308
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 302/601 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 497757 attempts, .
[lola][.] 66 EF FNDP 309/595 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 825793 attempts, .
[lola][.] 68 EF FNDP 310/595 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 655482 attempts, .
[lola][.] 83 EF EXCL 310/600 311/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 91878802 m, 171326 m/sec, 139330004 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 311
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 307/596 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 512323 attempts, .
[lola][.] 66 EF FNDP 314/590 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 841406 attempts, .
[lola][.] 68 EF FNDP 315/590 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 668288 attempts, .
[lola][.] 83 EF EXCL 315/600 313/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 92731796 m, 170598 m/sec, 140652895 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 313
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 312/591 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 526432 attempts, .
[lola][.] 66 EF FNDP 319/585 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 856980 attempts, .
[lola][.] 68 EF FNDP 320/585 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 682068 attempts, .
[lola][.] 83 EF EXCL 320/600 316/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 93563543 m, 166349 m/sec, 141946738 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 316
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 317/586 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 541693 attempts, .
[lola][.] 66 EF FNDP 324/580 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 870159 attempts, .
[lola][.] 68 EF FNDP 325/580 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 696424 attempts, .
[lola][.] 83 EF EXCL 325/600 319/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 94409401 m, 169171 m/sec, 143263389 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 319
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 322/581 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 556255 attempts, .
[lola][.] 66 EF FNDP 329/575 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 884754 attempts, .
[lola][.] 68 EF FNDP 330/575 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 710083 attempts, .
[lola][.] 83 EF EXCL 330/600 322/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 95264019 m, 170923 m/sec, 144594635 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 322
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 327/576 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 570634 attempts, .
[lola][.] 66 EF FNDP 334/570 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 902281 attempts, .
[lola][.] 68 EF FNDP 335/570 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 721675 attempts, .
[lola][.] 83 EF EXCL 335/600 325/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 96098545 m, 166905 m/sec, 145901928 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 325
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 332/571 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 588051 attempts, .
[lola][.] 66 EF FNDP 339/565 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 915699 attempts, .
[lola][.] 68 EF FNDP 340/565 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 734072 attempts, .
[lola][.] 83 EF EXCL 340/600 328/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 96926503 m, 165591 m/sec, 147202237 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 328
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 337/566 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 601712 attempts, .
[lola][.] 66 EF FNDP 344/560 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 929361 attempts, .
[lola][.] 68 EF FNDP 345/560 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 750014 attempts, .
[lola][.] 83 EF EXCL 345/600 330/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 97756952 m, 166089 m/sec, 148505585 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 330
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 342/561 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 617024 attempts, .
[lola][.] 66 EF FNDP 349/555 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 942527 attempts, .
[lola][.] 68 EF FNDP 350/555 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 764180 attempts, .
[lola][.] 83 EF EXCL 350/600 333/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 98594504 m, 167510 m/sec, 149820579 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 333
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 347/556 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 631373 attempts, .
[lola][.] 66 EF FNDP 354/550 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 958347 attempts, .
[lola][.] 68 EF FNDP 355/550 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 777245 attempts, .
[lola][.] 83 EF EXCL 355/600 336/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 99414786 m, 164056 m/sec, 151106517 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 336
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 352/551 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 644748 attempts, .
[lola][.] 66 EF FNDP 359/545 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 973620 attempts, .
[lola][.] 68 EF FNDP 360/545 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 792651 attempts, .
[lola][.] 83 EF EXCL 360/600 339/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 100238396 m, 164722 m/sec, 152392660 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 339
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 357/546 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 658180 attempts, .
[lola][.] 66 EF FNDP 364/540 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 990013 attempts, .
[lola][.] 68 EF FNDP 365/540 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 807417 attempts, .
[lola][.] 83 EF EXCL 365/600 342/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 101082693 m, 168859 m/sec, 153719105 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 342
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 362/541 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 672060 attempts, .
[lola][.] 66 EF FNDP 369/535 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1002059 attempts, .
[lola][.] 68 EF FNDP 370/535 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 823127 attempts, .
[lola][.] 83 EF EXCL 370/600 345/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 102118938 m, 207249 m/sec, 155340865 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 345
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 367/536 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 688184 attempts, .
[lola][.] 66 EF FNDP 374/530 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1012831 attempts, .
[lola][.] 68 EF FNDP 375/530 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 833581 attempts, .
[lola][.] 83 EF EXCL 375/600 350/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 103501859 m, 276584 m/sec, 157491693 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 350
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 372/531 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 702886 attempts, .
[lola][.] 66 EF FNDP 379/525 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1024219 attempts, .
[lola][.] 68 EF FNDP 380/525 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 845570 attempts, .
[lola][.] 83 EF EXCL 380/600 354/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 104827550 m, 265138 m/sec, 159551676 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 354
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 377/526 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 716632 attempts, .
[lola][.] 66 EF FNDP 384/520 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1039838 attempts, .
[lola][.] 68 EF FNDP 385/520 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 858833 attempts, .
[lola][.] 83 EF EXCL 385/600 358/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 105800661 m, 194622 m/sec, 161075838 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 358
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 382/521 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 730044 attempts, .
[lola][.] 66 EF FNDP 389/515 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1056623 attempts, .
[lola][.] 68 EF FNDP 390/515 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 872852 attempts, .
[lola][.] 83 EF EXCL 390/600 360/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 106632318 m, 166331 m/sec, 162383470 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 360
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 387/516 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 739969 attempts, .
[lola][.] 66 EF FNDP 394/510 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1072117 attempts, .
[lola][.] 68 EF FNDP 395/510 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 881772 attempts, .
[lola][.] 83 EF EXCL 395/600 365/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 108022065 m, 277949 m/sec, 164547214 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 365
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 392/511 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 749277 attempts, .
[lola][.] 66 EF FNDP 399/505 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1088020 attempts, .
[lola][.] 68 EF FNDP 400/505 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 890772 attempts, .
[lola][.] 83 EF EXCL 400/600 370/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 109548572 m, 305301 m/sec, 166956310 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 370
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 397/506 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 758331 attempts, .
[lola][.] 66 EF FNDP 404/500 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1103851 attempts, .
[lola][.] 68 EF FNDP 405/500 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 900316 attempts, .
[lola][.] 83 EF EXCL 405/600 375/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 111073643 m, 305014 m/sec, 169351436 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 375
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 402/501 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 768098 attempts, .
[lola][.] 66 EF FNDP 409/495 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1118476 attempts, .
[lola][.] 68 EF FNDP 410/495 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 908988 attempts, .
[lola][.] 83 EF EXCL 410/600 380/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 112390237 m, 263318 m/sec, 171410298 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 380
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 407/496 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 777939 attempts, .
[lola][.] 66 EF FNDP 414/490 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1134008 attempts, .
[lola][.] 68 EF FNDP 415/490 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 917639 attempts, .
[lola][.] 83 EF EXCL 415/600 385/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 113828883 m, 287729 m/sec, 173660336 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 385
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 412/491 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 786889 attempts, .
[lola][.] 66 EF FNDP 419/485 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1150175 attempts, .
[lola][.] 68 EF FNDP 420/485 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 926932 attempts, .
[lola][.] 83 EF EXCL 420/600 390/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 115385993 m, 311422 m/sec, 176108770 t fired, .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 390
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 417/486 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 796442 attempts, .
[lola][.] 66 EF FNDP 424/480 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1165951 attempts, .
[lola][.] 68 EF FNDP 425/480 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 936412 attempts, .
[lola][.] 83 EF EXCL 425/600 395/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 116960216 m, 314844 m/sec, 178587192 t fired, .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 395
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 422/481 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 810079 attempts, .
[lola][.] 66 EF FNDP 429/475 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1179221 attempts, .
[lola][.] 68 EF FNDP 430/475 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 951175 attempts, .
[lola][.] 83 EF EXCL 430/600 398/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 117825749 m, 173106 m/sec, 179936381 t fired, .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 398
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 427/476 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 820664 attempts, .
[lola][.] 66 EF FNDP 434/470 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1191150 attempts, .
[lola][.] 68 EF FNDP 435/470 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 965549 attempts, .
[lola][.] 83 EF EXCL 435/600 403/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 119214349 m, 277720 m/sec, 182127012 t fired, .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 403
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 433/471 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 833656 attempts, .
[lola][.] 66 EF FNDP 440/465 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1201696 attempts, .
[lola][.] 68 EF FNDP 441/465 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 978821 attempts, .
[lola][.] 83 EF EXCL 441/600 408/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 120663071 m, 289744 m/sec, 184401368 t fired, .
[lola][.]
[lola][.] Time elapsed: 441 secs. Pages in use: 408
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 438/465 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 849393 attempts, .
[lola][.] 66 EF FNDP 445/459 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1214111 attempts, .
[lola][.] 68 EF FNDP 446/459 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 990754 attempts, .
[lola][.] 83 EF EXCL 446/600 411/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 121727517 m, 212889 m/sec, 186079398 t fired, .
[lola][.]
[lola][.] Time elapsed: 446 secs. Pages in use: 411
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 443/460 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 865330 attempts, .
[lola][.] 66 EF FNDP 450/454 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-06 1223488 attempts, .
[lola][.] 68 EF FNDP 451/454 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 1000313 attempts, .
[lola][.] 83 EF EXCL 451/600 417/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 123319738 m, 318444 m/sec, 188569889 t fired, .
[lola][.]
[lola][.] Time elapsed: 451 secs. Pages in use: 417
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 66 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-06 (local timeout)
[lola][W] CANCELED task # 68 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-04 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 2 0 0 1 1 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF 0 2 0 0 1 1 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 448/455 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-00 879149 attempts, .
[lola][.] 83 EF EXCL 456/600 421/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-05 124620734 m, 260199 m/sec, 190605821 t fired, .
[lola][.]
[lola][.] Time elapsed: 456 secs. Pages in use: 421
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 67 (type FNDP) for 45 FunctionPointer-PT-a128-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 76 (type EQUN) for 45 FunctionPointer-PT-a128-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 66 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-06
[lola][I] result : unknown
[lola][I] tried executions : 1234738
[lola][I] time used : 455
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 68 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-04
[lola][I] result : unknown
[lola][I] tried executions : 1012653
[lola][I] time used : 456
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 76 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][W] CANCELED task # 67 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-15 (obsolete)
[lola][I] LAUNCH task # 55 (type FNDP) for 27 FunctionPointer-PT-a128-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 56 (type EQUN) for 27 FunctionPointer-PT-a128-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 67 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-15
[lola][I] result : unknown
[lola][I] tried executions : 4
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 55 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 56 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-09 (obsolete)
[lola][I] LAUNCH task # 69 (type EQUN) for 12 FunctionPointer-PT-a128-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 73 (type EQUN) for 18 FunctionPointer-PT-a128-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-09
[lola][I] result : unknown
[lola][I] FINISHED task # 73 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-06
[lola][I] result : false
[lola][I] LAUNCH task # 62 (type EQUN) for 0 FunctionPointer-PT-a128-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 62 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-00
[lola][I] result : false
[lola][W] CANCELED task # 59 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-00 (obsolete)
[lola][I] LAUNCH task # 79 (type FNDP) for 15 FunctionPointer-PT-a128-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 82 (type EQUN) for 15 FunctionPointer-PT-a128-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 59 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-00
[lola][I] result : unknown
[lola][I] tried executions : 901123
[lola][I] time used : 452
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 82 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-05
[lola][I] result : false
[lola][W] CANCELED task # 79 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-05 (obsolete)
[lola][W] CANCELED task # 83 (type EXCL) for FunctionPointer-PT-a128-ReachabilityFireability-2024-05 (obsolete)
[lola][I] LAUNCH task # 70 (type EXCL) for 12 FunctionPointer-PT-a128-ReachabilityFireability-2024-04
[lola][I] time limit : 3140 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 79 (type FNDP) for FunctionPointer-PT-a128-ReachabilityFireability-2024-05
[lola][I] result : unknown
[lola][I] tried executions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-00: AG true state equation
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-01: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-03: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-05: EF false state equation
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-06: EF false state equation
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-07: AG false state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-08: EF true findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-09: AG false findpath
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-12: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-13: EF true state space
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-15: AG true state equation
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a128-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 69 EF STEQ 5/3144 0/5 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 70 EF EXCL 1/3140 1/2000 FunctionPointer-PT-a128-ReachabilityFireability-2024-04 272509 m, 54501 m/sec, 348016 t fired, .
[lola][.]
[lola][.] Time elapsed: 461 secs. Pages in use: 423
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 69 (type EQUN) for FunctionPointer-PT-a128-ReachabilityFireability-2024-04
[lola][I] result : false
[lola][W] CANCELED task # 70 (type EXCL) for FunctionPointer-PT-a128-ReachabilityFireability-2024-04 (obsolete)
[lola][I] Portfolio finished: no open formulas

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="FunctionPointer-PT-a128"
export BK_EXAMINATION="ReachabilityFireability"
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 FunctionPointer-PT-a128, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181-tall-171640604800215"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-a128.tgz
mv FunctionPointer-PT-a128 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;